0xGeorgii

0xGeorgii/SharpLogic

Open source F# mathematical logic library.

1 good first / help-wanted issue · F# · last activity Jul 27, 2026

14 stars 3 forks 14 watchers F#
automate-inference automate-reasoning automate-teorem-proofs dotnet formula fsharp intuitionistic-logic logic mathematics propositional-logic
View on GitHub
1 Open Issue Need Help Last updated: Jul 27, 2026

Open Issues Need Help

View All on GitHub
Print output as MD about 2 months ago
help wanted good first issue prettyprinting
0xGeorgii/SharpLogic
14

Open source F# mathematical logic library.

F#
#automate-inference#automate-reasoning#automate-teorem-proofs#dotnet#formula#fsharp#intuitionistic-logic#logic#mathematics#propositional-logic