GitHub repository: nadia-polikarpova/cyclegg
Primary language: Rust
Created: 2022-03-06T15:01:53Z
Description: Cyclic theorem prover for equalitional reasoning using egraphs