tammet / logictoolsLinks
The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.
☆72Updated 4 years ago
Alternatives and similar repositories for logictools
Users that are interested in logictools are comparing it to the libraries listed below
Sorting:
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- Collapsing Towers of Interpreters☆91Updated this week
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- An Open Encyclopedia of Proof Systems☆118Updated 2 years ago
- ☆142Updated 2 weeks ago
- WASM builds of the Z3 SMT solver☆146Updated 5 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- An attribute grammar-based programming language for composable language extensions☆63Updated this week
- Beautiful, interactive visualizations of logical inference☆147Updated 4 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- Textbook on metalogic based on the Open Logic Project☆43Updated last year
- A reasoning system for large knowledge bases.☆30Updated 5 months ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- ☆21Updated 3 years ago
- ☆56Updated 2 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆153Updated this week
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated 3 weeks ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆159Updated 2 weeks ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 9 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- An automated deductive program verifier.☆42Updated 2 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago