RAIRLab / Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
☆11Updated last month
Alternatives and similar repositories for Peirce-My-Heart:
Users that are interested in Peirce-My-Heart are comparing it to the libraries listed below
- An open source graphical proof construction assistant for the creation of Natural Deduction proofs.☆17Updated last year
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Updated 7 years ago
- Labs and Projects of CSCI 4961 Introduction to Quantum Computing☆61Updated last week
- Verified decision procedures for modal logics in Lean☆12Updated 4 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆143Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆282Updated this week
- A computer algebra system for research in combinatorial game theory☆38Updated last year
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Updated 6 months ago
- A project to digitalise results from physics into Lean. (formally called HepLean)☆109Updated this week
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆60Updated 7 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆10Updated 3 weeks ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆337Updated last month
- Pedagogical first-order prover in Python☆74Updated last month
- Tools based on AI for helping with Lean 4☆75Updated last week
- ☆30Updated 2 weeks ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- Crate for reading TPTP files.☆14Updated 2 years ago
- Python library for quantum circuit rewriting and optimisation using the ZX-calculus☆403Updated 2 weeks ago
- ☆30Updated 11 months ago
- Source code for the nLab☆159Updated last month
- Exponent pair database☆41Updated this week
- Framework and Language for Neurosymbolic Programming.☆236Updated last month
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆49Updated this week
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Logic and Mechanized Reasoning☆95Updated 2 weeks ago
- top-down interpreter for ASP programs with constraints☆16Updated 2 years ago
- Quantum information theory in Lean 4☆12Updated last week
- ☆14Updated this week