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