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