Login
Roast topics
Find topics
Find it!
From:
Hey There Buddo!
(Uncensored)
subscribe
Knuckledragger Update: ATP for Python Interactive Theorem Proving | Hey There Buddo!
https://www.philipzucker.com/knuckledrag2/
links
backlinks
Roast topics
Find topics
Roast it!
Knuckledragger is the moniker I’ve given to an approach and library I’m developing to do interactive theorem proving in python with the heavy lifting done by pre existing automated solvers.