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

Commits

  1. Commits on Nov 9, 2026