ReedOei / Pecan

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

Related projects

Alternatives and complementary repositories for Pecan