2025

โ€œBad Apple!!โ€ But Itโ€™s 3288 Lean Tactics Spamming VSCode
July 4, 2025
Doing Math With Lean
May 26, 2025
Cosine in the BEST LANGUAGE EVER
May 9, 2025