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

docs: Note that Lean certification now holds against proofs in bad fa…

e3b67aa
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar