advancedresearch/pocket_prover

A fast, brute force, automatic theorem prover for first order logic

语言：Rust · GitHub 星标：44 · Fork：2

在 GitHub 上查看原仓库