PolyWolf in a wintry forest

PolyWolf's Blog

Home About Friends Art Blog Cybersec

#lean4

2024-09-03: OK Nevermind Lean 4 Is Kinda Bad Actually #programming #lean4
2024-08-31: Lean 4 Is A Cool Language #programming #lean4