Skip to content

Pruned model + Zippy laws + meet_k_path_into - #171

Draft
imlvts wants to merge 14 commits into
Adam-Vandervorst:focus_value_consistencyfrom
imlvts:spec/zippy-laws-fvc
Draft

Pruned model + Zippy laws + meet_k_path_into#171
imlvts wants to merge 14 commits into
Adam-Vandervorst:focus_value_consistencyfrom
imlvts:spec/zippy-laws-fvc

differential: stop skipping ops focus_value_consistency fixed

f3e442e
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 15s