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
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
