Login
Roast topics
Find topics
Find it!
From:
Hey There Buddo!
(Uncensored)
subscribe
Proof Rules for MetaSMT | Hey There Buddo!
https://www.philipzucker.com/kdrag_proof_rules/
links
backlinks
Roast topics
Find topics
Roast it!
Knuckledragger https://github.com/philzook58/knuckledragger is my system for interactive theorem proving in python. The core system is not python specific and has some interesting theoretical aspects.