Login
From:
PolyWolf's Blog
(Uncensored)
subscribe
OK Nevermind Lean 4 Is Kinda Bad Actually
https://wolfgirl.dev/blog/7534408/
links
backlinks
Tagged with:
lean4
Originally posted on Cohost. I had planned to write pwcc in Lean 4, but after these discoveries & roadblocks, I gave up on it.
Roast topics
Find topics
Find it!
