Originally published on Cohost. Initially, I had planned on writing pwcc in Lean 4, and this post was part of that exploratory process.| PolyWolf's Blog
Originally posted on Cohost. I had planned to write pwcc in Lean 4, but after these discoveries & roadblocks, I gave up on it.| PolyWolf's Blog