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 10 months ago
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Updated 7 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
- In questa repository sono presenti diversi esempi di progetti Arduino (da quelli più semplici e basici a quelli più complessi e divertent…☆35Updated 5 months 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
- This is my first machine learning project☆17Updated last year
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆11Updated last year
- ☆18Updated last year
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆55Updated last year
- ☆18Updated last year
- An inductive logic programming system☆244Updated 2 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated last month
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 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
- ☆11Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆364Updated 3 weeks ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- GoF design patterns applied using Reason.☆12Updated 3 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆19Updated this week
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- ☆157Updated this week
- A client for Isabelle server (https://isabelle.in.tum.de)☆13Updated last week
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated last month
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Updated 2 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 4 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 3 months ago
- Hosts the website for mathlib and other Lean community infrastructure.☆66Updated last week