Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Proof Rules for MetaSMT | Hey There Buddo!
https://www.philipzucker.com/kdrag_proof_rules/
links
backlinks
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!