GitHub topics: prover9
ais-climber/syllogistic-sizes
🎊 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.
Language: C - Size: 12.2 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
abtsousa/ProverX-Helper-Functions
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
Language: Python - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
zehengl/smu-cse-7320 📦
SMU CSE 7320 Artificial Intelligence
Size: 7.81 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
bori00/AI_LightsOut
Artificial Intelligence course (3rd year, 1st semester)
Language: Python - Size: 6.53 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
HAO-FU-1998/Natural-Language-Processing
Natural Language Processing (2018)
Language: Python - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
jaalonso/Cursos_de_RA
Recopilación de cursos de razonamiento automático.
Size: 15.6 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
rafpaf/prove-ethics
Checking Spinoza's demonstrations
Language: Python - Size: 342 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0
snus-kin/p9.vim
prover9 syntax & running in vim
Language: Vim script - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
