rkirsling / modallogic
Modal Logic Playground
☆363Updated 7 months ago
Related projects: ⓘ
- Parser for Attempto Controlled English (ACE)☆183Updated 4 months ago
- Tree Proof Generator☆151Updated 2 months ago
- An automated theorem prover for first-order logic.☆234Updated 2 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆70Updated 4 years ago
- Constraint Logic Programming over Finite Domains☆168Updated 4 years ago
- Probabilistic programming for the web☆613Updated 4 months ago
- The Design and Implementation of Probabilistic Programming Languages☆173Updated 4 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆103Updated 10 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆117Updated 2 weeks ago
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- Metagol - an inductive logic programming system☆200Updated 3 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆58Updated 6 years ago
- Sigma Knowledge Engineering Environment☆101Updated 2 weeks ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆196Updated 7 months ago
- An open source Prolog interpreter in JavaScript☆571Updated last year
- Constraint Logic Programming over Integers☆178Updated 7 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆68Updated 7 months ago
- A tool for analyzing and transforming context-free grammars.☆205Updated 2 weeks ago
- ☆158Updated 4 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆75Updated 3 weeks ago
- The HOL Light theorem prover☆414Updated 3 weeks ago
- SWI-Prolog stable releases☆215Updated this week
- The Heterogeneous Tool Set☆57Updated 2 weeks ago
- The Vampire Theorem Prover☆281Updated this week
- A probabilistic programming language☆309Updated 2 years ago
- Learn Prolog Now LaTeX sources☆80Updated last year
- Pengine and Prolog scratchpad☆56Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆239Updated 10 years ago
- ☆130Updated last week