automate-teorem-proofs

There are 0 repository under automate-teorem-proofs topic.

• 0xGeorgii / SharpLogic

  Open source F# mathematical logic library.

  fsharpmathematicslogicdotnetformulapropositional-logicautomate-inferenceautomate-reasoningautomate-teorem-proofsintuitionistic-logic
  Language:F# 11