Checking Spinoza's demonstrations
-
Updated
Feb 9, 2022 - Python
#
prover9
Here are 10 public repositories matching this topic...
Work-in-progress. Small helper Python functions I made while working for LaiTeP in NOVA (Laboratory for Augmented Intelligence in Theorem Proving). ProverX is an extension of Prover9 and is automated theorem prover available at http://proverx.com
python ai math logic first-order-logic artificial-intelligence generative-model automated prover9 automated-theorem-provers proverx
-
Updated
Jul 11, 2023 - Python
🎊 Repo for code related to a syllogistic logic of 'all', 'at least', and 'more than'. Includes code for model construction and use of prover9 to explore the proof rules of the system.
-
Updated
Oct 1, 2021 - C
Recopilación de cursos de razonamiento automático.
coq proof-assistant courses agda lean isabelle-hol prover9 pvs interactive-theorem-proving otter automated-reasoning acl2
-
Updated
Jun 24, 2022
Natural Language Processing (2018)
-
Updated
Aug 28, 2022 - Python
Artificial Intelligence course (3rd year, 1st semester)
-
Updated
Dec 11, 2021 - Python
Public transportation trip-planner in Cluj-Napoca, using First Order Logic and Planning.
-
Updated
Dec 30, 2025 - Python
SMU CSE 7320 Artificial Intelligence
-
Updated
Dec 18, 2021
Improve this page
Add a description, image, and links to the prover9 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the prover9 topic, visit your repo's landing page and select "manage topics."