Skip to content

proof(formal): close preservation theorem — zero Admitted - #35

Merged
hyperpolymath merged 4 commits into
mainfrom
proof/close-preservation-admits
Apr 27, 2026
Merged

proof(formal): close preservation theorem — zero Admitted#35
hyperpolymath merged 4 commits into
mainfrom
proof/close-preservation-admits

chore(formal): gitignore coq_makefile build artifacts; refine preserv…

20cf3f5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar