mAarnos/Serkr

An automated theorem prover for first order logic.

语言：Rust · GitHub 星标：31 · Fork：3

在 GitHub 上查看原仓库