fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 - #177

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167#177

hyperpolymath merged 6 commits into

mainhyperpolymath/absolute-zero:mainfrom

fix/176-census-roots-restore-filesystemcnohyperpolymath/absolute-zero:fix/176-census-roots-restore-filesystemcnoCopy head branch name to clipboard