0xGeorgii/SharpLogic

Open source F# mathematical logic library.

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

话题：automate-inference · automate-reasoning · automate-teorem-proofs · dotnet · formula · fsharp · intuitionistic-logic · logic

在 GitHub 上查看原仓库