rkirsling / modallogicLinks
Modal Logic Playground
☆372Updated last year
Alternatives and similar repositories for modallogic
Users that are interested in modallogic are comparing it to the libraries listed below
Sorting:
- Parser for Attempto Controlled English (ACE)☆204Updated last year
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- Categorical Query Language IDE☆315Updated 2 weeks ago
- Probabilistic programming for the web☆629Updated last year
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆64Updated 7 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…☆73Updated 5 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆534Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated this week
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- ☆166Updated 5 years ago
- The Incredible Proof Machine☆382Updated 6 months ago
- Tree Proof Generator☆172Updated 6 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆245Updated 11 years ago
- The HOL Light theorem prover☆473Updated 2 months ago
- Constraint Logic Programming over Finite Domains☆186Updated 5 years ago
- Grammatical Framework core: compiler, shell & runtimes☆140Updated last week
- Dyna2 compiler and REPL☆147Updated 5 years ago
- Life like molecular computers with artificial chemistry.☆137Updated 2 years ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated last week
- Interactive tool for creating directed graphs☆287Updated 2 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- Trying to compare known graph drawing libraries☆609Updated 3 months ago
- Metamath source file for logic and set theory☆294Updated this week
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated 2 months ago
- Learn Prolog Now LaTeX sources☆88Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆785Updated 3 weeks ago
- An open source Prolog interpreter in JavaScript☆619Updated 2 years ago
- Render tikzcd diagrams with JSX.☆61Updated 5 years ago