brianberns/Bernsrite.Flogic

First-order (predicate) logic for F#

语言：F# · GitHub 星标：6 · Fork：2

在 GitHub 上查看原仓库