Skip to content

feat(lean): migrate + repair tropical proofs; unify the min-max ⇄ max-plus duality - #16

Merged
hyperpolymath merged 2 commits into
mainfrom
feat/lean-tropical-migration
Jun 11, 2026
Merged

feat(lean): migrate + repair tropical proofs; unify the min-max ⇄ max-plus duality#16
hyperpolymath merged 2 commits into
mainfrom
feat/lean-tropical-migration

docs(lean): authoritative Lean docs, README/CHANGELOG, machine-readab…

a2267b5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar