RAIRLab / Peirce-My-HeartLinks
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
☆11Updated last year
Alternatives and similar repositories for Peirce-My-Heart
Users that are interested in Peirce-My-Heart are comparing it to the libraries listed below
Sorting:
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Updated last year
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Updated 8 years ago
- A interactive and comprehensive guide and learning tool for DataStructures and Algorithms ... concentrated on JS but with some examples i…☆14Updated 3 years ago
- ☆10Updated 3 years ago
- In questa repository sono presenti diversi esempi di progetti Arduino (da quelli più semplici e basici a quelli più complessi e divertent…☆32Updated 7 months ago
- Software di gestione degli incroci semaforici sfruttando tecnologie di intelligenza artificiale per il corso di ingegneria della conoscen…☆13Updated 2 years ago
- ☆10Updated last year
- This is my first machine learning project☆17Updated last year
- Java stream library☆11Updated last year
- ☆18Updated last year
- https://1000-plus.github.io/☆19Updated 2 months ago
- ☆18Updated last year
- The Furniture Organizer App is a MERN-based web app designed to help users organize their furniture by size categories: small, medium, an…☆16Updated last year
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- GoF design patterns applied using Reason.☆12Updated 3 years ago
- ⌗ Learn MySQL.☆19Updated 10 months ago
- ☆12Updated last year
- Full list of JS automation files☆12Updated 2 months ago
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆11Updated 2 years ago
- An inductive logic programming system☆251Updated 3 months ago
- ☆15Updated last year
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆394Updated last week
- ImProver: Agent-Based Automated Proof Optimization☆39Updated this week
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Updated last year
- A curated list of Q# code and resources.☆177Updated 3 years ago
- A formalization of the Rubik's cube group☆27Updated 5 years ago
- A project to digitalise results from physics into Lean.☆429Updated this week
- Tree Proof Generator☆177Updated 10 months ago
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆37Updated last month
- Lean web editor☆128Updated this week