Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.
-
Updated
Jun 30, 2020 - Java
#
natural-deduction
Here are 4 public repositories matching this topic...
This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.
-
Updated
Aug 19, 2022 - Java
A tool to support the proving of natural deduction proofs.
-
Updated
Jul 1, 2022 - Java
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
-
Updated
Nov 6, 2019 - Java
Improve this page
Add a description, image, and links to the natural-deduction topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the natural-deduction topic, visit your repo's landing page and select "manage topics."