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
- 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
- Ask for Community Support / Know how to join this community / More information about community☆19Updated 3 years ago
- Software di gestione degli incroci semaforici sfruttando tecnologie di intelligenza artificiale per il corso di ingegneria della conoscen…☆13Updated 2 years ago
- This is my first machine learning project☆17Updated last year
- Java stream library☆11Updated last year
- Planning through backpropagation using TensorFlow.☆16Updated 5 years ago
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆11Updated 2 years ago
- ☆18Updated last year
- Tarski - An AI Planning Modeling Framework☆72Updated 2 weeks ago
- GoF design patterns applied using Reason.☆12Updated 3 years ago
- 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
- ☆12Updated last year
- Graph Learning for Planning☆24Updated last week
- ☆18Updated last year
- ☆15Updated last year
- Full list of JS automation files☆12Updated 2 months ago
- ⌗ Learn MySQL.☆19Updated 10 months ago
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Updated 2 years ago
- A curated collection of resources for the Boolean Satisfiability Problem (SAT).☆32Updated last month
- ☆43Updated last year
- Browser Application that produces a list of most straddle combinations on SPY for the next x weeks/months☆14Updated 2 months ago
- 🌍 PDDL instances covering the International Planning Competitions☆141Updated 4 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Updated 5 months ago
- ☆10Updated 2 years ago