logic-formalisms

There are 0 repository under logic-formalisms topic.

DeMaCS-UNICAL / LoIDE
Web-based IDE for Logic Programming
ide logic-programming web-based-ide logic-formalisms logic-based-languages web-app web-application editing editor web-editor
Language:JavaScript 24
marcofavorito / pythogic
A Python package for deal with logical formulas and formal systems (e.g. FOL)
logic formal-logic formal-languages ltl first-order-logic propositional-logic linear-temporal-logic logic-formalisms formal-methods ldlf ltlf
Language:Python 5