New top story on Hacker News: Knuckledragger, a Semi-Automated Python Proof Assistant

Knuckledragger, a Semi-Automated Python Proof Assistant
13 by philzook | 2 comments on Hacker News.


August 5, 2024 at 09:02PM philzook 13 https://ift.tt/2EdyiCq Knuckledragger, a Semi-Automated Python Proof Assistant 2 https://ift.tt/esI4V3Z