Repositories list

• Peirce-My-Heart

  Public
  A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.

  typescriptinteractive-theorem-provingvite+ 3existential-graphscharles-sanders-peircecharles-peirce

  TypeScript

  •

  MIT License

  •0•11•14•2•Updated Dec 22, 2024Dec 22, 2024

• logic-group

  Public
  Website listing the talks given in the logic group

  markdownwebsite

  0•2•0•0•Updated Dec 4, 2024Dec 4, 2024

• vsp

  Public
  Website for the Workshop on Variable Sharing Properties and Their Discontents

  0•1•0•0•Updated Nov 15, 2024Nov 15, 2024

• Publications

  Public
  RAIR Lab Publication List

  pythonlatexdblp

  Python

  •0•1•1•0•Updated Nov 1, 2024Nov 1, 2024

• Spectra

  Public
  The Spectra Automated Planner for DCEC built on ShadowProver

  javaautomated-planningepistemic-planning

  Java

  •0•2•0•0•Updated Jun 1, 2024Jun 1, 2024

• lazyslate

  Public
  An open source graphical proof construction assistant for the creation of Natural Deduction proofs.

  javascriptguihtml5-canvas+ 3interactive-theorem-provingtheorem-proververifier

  TypeScript

  •

  MIT License

  •0•16•6•0•Updated Feb 3, 2024Feb 3, 2024

• EG-Theorem-Proving-in-PMH

  Public
  (Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH

  bookexistential-graphscharles-sanders-peirce+ 1mdbook-book

  MIT License

  •0•2•1•1•Updated Dec 21, 2023Dec 21, 2023

• .github

  Public
  The RAIR Lab Github Organization Homepage Markdown

  markdown

  0•0•0•0•Updated Dec 18, 2023Dec 18, 2023

• Parallel-Verifier

  Public
  Parallel Verification of Propositional Natural-Deduction Proof Graphs

  cppopenmpmpi+ 2verificationnatural-deduction

  C++

  •

  MIT License

  •0•3•0•0•Updated Dec 16, 2023Dec 16, 2023

• VirtualSlate

  Public
  VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.

  virtual-realitygodotinteractive-theorem-proving

  GDScript

  •0•2•0•2•Updated Dec 9, 2023Dec 9, 2023

• ShadowProver

  Public
  The definitive DCEC theorem prover built on SNARK.

  javatheorem-provermodal-logics

  Java

  •

  MIT License

  •0•1•0•0•Updated Nov 28, 2023Nov 28, 2023

• Equitable-AI-Development-Paths

  Public
  Data for our paper "Non-Profit-Driven Development Paths for Equitable AI/AGI" accepted for publication at ICRES 2023.

  data

  0•0•0•0•Updated May 11, 2023May 11, 2023

• ShadowProver-Python

  Public
  Python Interface to ShadowProver (Work in progress for new SP repo, use naveen branch instead)

  Jupyter Notebook

  •0•0•0•0•Updated Mar 30, 2023Mar 30, 2023

• snark

  Public
  Modified version of SNARK version 20120808r02. The RAIR Lab did not create nor does it claim any rights to snark.

  common-lisptheorem-prover

  Common Lisp

  •

  Other

  •0•0•0•0•Updated Mar 30, 2023Mar 30, 2023

• ShadowAdjudicator

  Public
  An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.

  pythonmodal-logicautomate-reasoning

  Python

  •

  GNU Affero General Public License v3.0

  •0•2•0•0•Updated Feb 14, 2023Feb 14, 2023

• prover

  Public archive
  This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.

  javaautomated-theorem-proving

  Common Lisp

  •4•0•0•0•Updated Feb 14, 2023Feb 14, 2023

• RAIRLab.github.io

  Public archive
  RAIR Lab Homepage

  Ruby

  •0•1•0•0•Updated Sep 14, 2018Sep 14, 2018

• pyPAGI

  Public
  The python helper library for PAGI World.

  Python

  •4•2•0•0•Updated Jun 10, 2018Jun 10, 2018

• Talos

  Public
  An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.

  Python

  •

  GNU General Public License v2.0

  •5•0•0•0•Updated Oct 13, 2016Oct 13, 2016

• DCEC_Library

  Public
  A library for parsing and using the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.

  Python

  •

  GNU General Public License v2.0

  •5•1•0•0•Updated Oct 13, 2016Oct 13, 2016

• Talos-Flask

  Public archive
  A flask wrapper for the Talos automated theorem prover

  Python

  •

  MIT License

  •0•0•0•0•Updated Jul 14, 2016Jul 14, 2016

• PAGIapi-python

  Public
  Python API for interacting with PAGIworld

  Python

  •

  MIT License

  •0•0•0•0•Updated Sep 3, 2015Sep 3, 2015