RAIRLab / lazyslateLinks
An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.
☆17Updated last year
Alternatives and similar repositories for lazyslate
Users that are interested in lazyslate are comparing it to the libraries listed below
Sorting:
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Updated 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
- ☆10Updated last year
- Software di gestione degli incroci semaforici sfruttando tecnologie di intelligenza artificiale per il corso di ingegneria della conoscen…☆13Updated 2 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
- This is my first machine learning project☆17Updated last year
- ☆18Updated last year
- README for my Github Profile☆13Updated 4 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
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆12Updated 2 years ago
- GoF design patterns applied using Reason.☆13Updated 3 years ago
- Java stream library☆10Updated last year
- ☆12Updated last year
- Tarski - An AI Planning Modeling Framework☆72Updated last month
- A lazy-grounding Answer-Set Programming system☆62Updated 2 months ago
- Your AI-Powered Personal Finance Assistant☆28Updated 6 months ago
- Automated Programming Framework☆15Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆58Updated 2 years ago
- ☆15Updated last year
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- ☆10Updated 2 years ago
- An inductive logic programming system☆261Updated 4 months ago
- ☆23Updated last year
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 3 months ago
- Primeiro projeto pratico com solidity e react☆12Updated last year
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated 2 years ago