nadia-polikarpova / cycleggLinks

Cyclic theorem prover for equalitional reasoning using egraphs
26Updated last year

Alternatives and similar repositories for cyclegg

Users that are interested in cyclegg are comparing it to the libraries listed below

Sorting: