ReedOei/Pecan

An automated theorem prover that uses Büchi automata.

语言：Python · GitHub 星标：48 · Fork：5

在 GitHub 上查看原仓库