Login
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
Find 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.
