Skip to content

verify: Give each function of a Lean project its own goal module, and build only the proofs that changed - #62

Merged
SwayamInSync merged 80 commits into
mainfrom
fix/lean-modules
Oct 24, 2026
Merged

verify: Give each function of a Lean project its own goal module, and build only the proofs that changed#62
SwayamInSync merged 80 commits into
mainfrom
fix/lean-modules

Commits

  1. Commits on Oct 24, 2026