Linking pages
- State of Knuckledragger, a Semi-Automated Python Proof Assistant | Hey There Buddo! https://www.philipzucker.com/state_o_knuck/ 24 comments
- Superposition as a Super Datalog | Hey There Buddo! https://www.philipzucker.com/superpose_datalog/ 0 comments
- A Small Prolog on the Z3 AST | Hey There Buddo! https://www.philipzucker.com/knuck_prolog/ 0 comments
Linked pages
Related searches:
Search whole site: site:www.philipzucker.com
Search title: Justified SMT 1: The Minikanren inside Z3 | Hey There Buddo!
See how to search.