Jape 2.0?
-
Updated
Feb 6, 2021 - TypeScript
Jape 2.0?
A propositional logic library.
A defeasible reasoning tool using Rational Closure and Lexicographic Closure.
Visual Studio Code extension for Limboole
🧠💡 Web app to calculate everything related to propositional-calculus. Made for myself to pass TZI subject at Mendel University, but shared for everyone else for free to use it as well!
Various materials for reviewing CPT107 and scripts for specific calculations
Use Resolution to Solve a Game of Clue
A calculator for various things in Discrete Mathematics
Automated Propositional Logic Proofs
A game of self observing AI agent in wumpus world
Pravda is a tool for teaching formal logic.
Add a description, image, and links to the propositional-logic topic page so that developers can more easily learn about it.
To associate your repository with the propositional-logic topic, visit your repo's landing page and select "manage topics."