3 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Thomas Browning, Patrick Lutz
We describe a project to formalize Galois theory using the Lean theorem prover, which is part of a larger effort to formalize all of the standard undergraduate mathematics curricul…