ivan zakutni: “Check it out: https://www.philipzucker.com/state_o_knuck/ The dude is…”

ivan zakutni @neuralstack · 584 subscribers

Post #123 117 Aug 14, 2024, 16:27 UTC

Check it out: https://www.philipzucker.com/state_o_knuck/

The dude is adopting Z3 solver for Python 🕺

So far, its quite promising.
Hopefully, it will continue to thrive 💪

Hey There Buddo! State of Knuckledragger, a Semi-Automated Python Proof Assistant I’ve been working on Knuckledragger, my Z3 based semi-automated python proof assistant, on and off for 6 months (or arguably five years). I’ve realized I’ve done a bunch of stuff and despite writing often, not written the slightest bit about much of it.

🌭 1

Open in Telegram All posts from @neuralstack