fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags - #174

fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags#174

hyperpolymath merged 1 commit into

mainhyperpolymath/absolute-zero:mainfrom

arena/01a0df23-absolute-zerohyperpolymath/absolute-zero:arena/01a0df23-absolute-zeroCopy head branch name to clipboard