Knuckledragger: Experimenting with a Python Proof Assistant | Hey There Buddo!
Something that I’m tinkering with is making a proof assistant in python.| Hey There Buddo!
TacticsMore Basic Tactics| softwarefoundations.cis.upenn.edu
LogicLogic in Coq| softwarefoundations.cis.upenn.edu
IndPropInductively Defined Propositions| softwarefoundations.cis.upenn.edu
Something that I’m tinkering with is making a proof assistant in python.| Hey There Buddo!
