-
knuckledragger Public
Semi-Automated Python Proof Assistant
-
awesome-egraphs Public
An awesome list of e-graph resources
-
-
Knuckledragger.jl Public
Julia Semi-Automated Proof Assistant
-
bril Public
Forked from sampsyo/brilan educational compiler intermediate representation
Rust MIT License UpdatedOct 18, 2024 -
-
-
-
pcode2c Public
Convert low ghidra pcode to verifiable C
-
-
-
-
-
-
pyeprover Public
A simple repackaging of the E automated theorem prover for ease of installation and execution from python
-
pyvampire Public
A simple repackaging of the Vampire automated theorem prover
-
holpy Public
Forked from bzhan/holpyImplementation of higher-order logic in Python
SMT BSD 3-Clause "New" or "Revised" License UpdatedMar 19, 2024 -
compact-php Public
Forked from codyroux/compact-phpA proof of a finitary pigeon hole principle via compactness and the infinitary version, in Lean.
Lean UpdatedFeb 29, 2024 -
-
-
-
twee Public
Forked from nick8325/tweeAn equational theorem prover based on Knuth-Bendix completion
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 3, 2024 -
extraction-gym Public
Forked from egraphs-good/extraction-gymbenchmarking e-graph extraction
-
PyRes Public
Forked from eprover/PyResPedagogical first-order prover in Python
Python GNU General Public License v2.0 UpdatedJan 7, 2024 -
-
-
-
-
z3_tutorial Public
Jupyter notebooks for tutorial on the Z3 SMT solver
-
duckegg Public
An experiment in using DuckDB for a datalog / egg
{{ message }}