RAIRLab / lazyslateLinks
An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
☆18Updated 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.☆12Updated 5 months ago
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Updated 7 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆48Updated last week
- Planning through backpropagation using TensorFlow.☆16Updated 4 years ago
- Graph Learning for Planning☆15Updated this week
- Tarski - An AI Planning Modeling Framework☆67Updated last year
- Integration of the planning system Fast Downward with the unified-planning framework.☆12Updated 6 months ago
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- Links to recourses for the Lean Theorem Prover☆10Updated 5 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 4 months ago
- K* search based implementation of top-k and top-quality planners☆16Updated last month
- ☆10Updated 2 years ago
- Automated Programming Framework☆15Updated 5 years ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆311Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 2 years ago
- ☆37Updated last week
- ☆37Updated 7 months ago
- ☆15Updated last year
- A web-based graphical proof assistant for LK and Hoare logic.☆35Updated 2 years ago
- The Lean 4 web editor☆95Updated last week
- An inductive logic programming system☆228Updated 2 weeks ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 8 months ago
- ACPBench: Reasoning about Action, Change, and Planning☆23Updated last month
- ☆33Updated this week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆144Updated 3 weeks ago
- Solutions to the Incredible Proof Machine http://incredible.pm/☆9Updated 5 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Updated 6 years ago