Skip to content

verify: Certify Lean proofs from their compiled modules, against proofs in bad faith - #60

Merged
SwayamInSync merged 22 commits into
mainfrom
fix/lean-checker
Oct 22, 2026
Merged

verify: Certify Lean proofs from their compiled modules, against proofs in bad faith#60
SwayamInSync merged 22 commits into
mainfrom
fix/lean-checker

Commits

  1. Commits on Oct 22, 2026