automate-reasoning

There are 0 repository under automate-reasoning topic.

0xGeorgii / SharpLogic
Open source F# mathematical logic library.
fsharp mathematics logic dotnet formula propositional-logic automate-inference automate-reasoning automate-teorem-proofs intuitionistic-logic
Language:F# 11
RAIRLab / ShadowAdjudicator
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
automate-reasoning modal-logic python
Language:Python 2

0xGeorgii / SharpLogic