prover9

There are 0 repository under prover9 topic.

• rafpaf / prove-ethics

  Checking Spinoza's demonstrations

  philosophyhistoryhistory-of-philosophylogicprover9
  Language:Python 6

• 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

  automatedautomated-theorem-proverslogicmathprover9pythonproverxaiartificial-intelligencefirst-order-logicgenerative-model
  Language:Python 1

• 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.

  cardinality-constraintsmodel-buildingprover9syllogismsyllogistic-logic
  Language:C 0

• bori00 / AI_LightsOut

  Artificial Intelligence course (3rd year, 1st semester)

  artificial-intelligencemace4prover9algebrafirst-order-logicgenerative-modelplanning
  Language:Python 0

• LeonVitanos / automated-reasoning

  Solutions to automated reasoning problems

  automated-reasoningmace4nusmvprover9smtz3
  Language:SMT 0

• HAO-FU-1998 / Natural-Language-Processing

  Natural Language Processing (2018)

  brown-corpusmatplotlibnlpnltkprover9python
  Language:Python

• jaalonso / Cursos_de_RA

  Recopilación de cursos de razonamiento automático.

  automated-reasoninginteractive-theorem-provingproof-assistantcoursesisabelle-holcoqpvsacl2agdaleanprover9otter

• snus-kin / p9.vim

  prover9 syntax & running in vim

  prover9vimvim-syntax
  Language:Vim script

• zehengl / smu-cse-7320

  SMU CSE 7320 Artificial Intelligence

  artificial-intelligencefirst-order-logicprover9