Unnamed Website
About
Projects
Posts
Tags
Feed
Light mode
menu
About
Projects
Posts
Tags
Feed
Light mode
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