ReedOei / PecanLinks

An automated theorem prover that uses Büchi automata.
42Updated 3 years ago

Alternatives and similar repositories for Pecan

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

Sorting: