Lean 3's obsolete mathematical components library: please use mathlib4
十分钟魔法练习
formally verified category theory library
The Principia Rewrite
Variations on Kirby & Paris' hydra battles and other entertaining math i...
🧪 | Rinha de Backend Lean4