Location:Annapolis, MD, USA
Book about using Lean with How To Prove It
Set Theory Game
Server to host lean games.
The math library of Lean 4