jamesj64/Automated-Theorem-Prover

A functionally-programmed theorem prover written in F#

语言：F# · GitHub 星标：3 · Fork：0

在 GitHub 上查看原仓库