Philip Zucker's repositories
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
philzook58.github.io
My Blog
knuckledragger
Semi-Automated Python Proof Assistant
egglog-rec
Rewriting engine competition benchmarks translated to egglog
lambda-egglog
Exploring egraphs as ground completion with an eye towards lambdas and theories
compact-php
A proof of a finitary pigeon hole principle via compactness and the infinitary version, in Lean.
datalog-asp-tut
Datalog / Answer Set Programming tutorial
extraction-gym
benchmarking e-graph extraction
mmverify.py
Metamath verifier in Python
PyRes-wrapper
Wrapper to install PyRes as library and executables
vscode-markdown-code-runner
Run code snippets in Markdown.