2025

“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode
Doing Math With Lean
Cosine in the BEST LANGUAGE EVER