PolyWolf's Blog
Home
About
Friends
Art
Blog
Cybersec
#lean4
All Tags
9/3/2024:
OK Nevermind Lean 4 Is Kinda Bad Actually
8/31/2024:
Lean 4 Is A Cool Language
