2025

โ€œBad Apple!!โ€ But Itโ€™s 3288 Lean Tactics Spamming VSCode
Doing Math With Lean
Cosine in the BEST LANGUAGE EVER