Web-based IDE for Logic Programming
editor
web-app
ide
web-application
editing
web-editor
logic-programming
web-based-ide
logic-formalisms
logic-based-languages
-
Updated
Dec 8, 2023 - JavaScript
Web-based IDE for Logic Programming
A Python package for deal with logical formulas and formal systems (e.g. FOL)
Add a description, image, and links to the logic-formalisms topic page so that developers can more easily learn about it.
To associate your repository with the logic-formalisms topic, visit your repo's landing page and select "manage topics."