Skip to content

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

Open
hyperpolymath wants to merge 5 commits into
mainfrom
fix/176-census-roots-restore-filesystemcno
Open

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167#177
hyperpolymath wants to merge 5 commits into
mainfrom
fix/176-census-roots-restore-filesystemcno

docs(lean4): clarify filesystem no-op and snapshot restore docstrings

a3ac208
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar