cole-k/cyclegg

Cyclic theorem prover for equalitional reasoning using egraphs

Rust