Monsky
A group of UvA students, PhD students, and postdocs have formalized the proof of Monsky’s theorem in Lean! See their GitHub repository.
A group of UvA students, PhD students, and postdocs have formalized the proof of Monsky’s theorem in Lean! See their GitHub repository.