I tried Lean and instantly got PhD in Math

2026-02-02 12:51:43 on Tsoding Daily





Page generated in - 0.005390167 sec