Open Issues Need Help
View All on GitHub Print output as MD about 2 hours ago
help wanted good first issue prettyprinting
Open source F# mathematical logic library.
F#
#automate-inference#automate-reasoning#automate-teorem-proofs#dotnet#formula#fsharp#intuitionistic-logic#logic#mathematics#propositional-logic