Learn You a Tropical Geometry for Great Good!

Zusammenfassung

A tropical geometry tutorial built from a 21-day study in which every claim is asserted in code: addition is min, multiplication is plus, and every picture is a theorem the code checked.