Skip to content

proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes - #223

Draft
hyperpolymath wants to merge 10 commits into
mainfrom
claude/laughing-hawking-pibzji
Draft

proofs: ground-truth audit, Lean vacuity fix, Agda under the estate invocation, archive Isabelle/Mizar, Z3 fixes#223
hyperpolymath wants to merge 10 commits into
mainfrom
claude/laughing-hawking-pibzji

test(proofs): negative Z3 check for non-empty rmdir; Agda sequence wi…

dfae63c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar