Skip to content

verify: Keep each Lean proof with the goal of its statement - #58

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

verify: Keep each Lean proof with the goal of its statement#58
SwayamInSync merged 79 commits into
mainfrom
fix/lean-identity

Commits

  1. Commits on Oct 22, 2026