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

test: Import its function's goal module in the proof cppverify_sensor…

04706a9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar