Skip to content

Focus value consistency - #163

Open
luketpeterson wants to merge 13 commits into
masterfrom
focus_value_consistency
Open

Focus value consistency#163
luketpeterson wants to merge 13 commits into
masterfrom
focus_value_consistency

Merge branch 'master' into focus_value_consistency

864a2b8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Oct 28, 2026 in 12s