https://pp.ipd.kit.edu/publication.php?id=DBLP:conf/cade/MouraKADR15
Conference Papers: The Lean Theorem Prover (System Description)
lean theorem proverconference paperssystemdescription
https://uwspace.uwaterloo.ca/items/d35d17be-485d-4f60-8696-4dce7ae907bb
Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
A matroid is a mathematical object that generalizes the notion of linear independence of a set of vectors to an abstract independence of sets, with...