rkirsling / modallogic
Modal Logic Playground
☆369Updated last year
Alternatives and similar repositories for modallogic:
Users that are interested in modallogic are comparing it to the libraries listed below
- Parser for Attempto Controlled English (ACE)☆195Updated 10 months ago
- L-Functions and Modular Forms Database☆261Updated last week
- Tree Proof Generator☆162Updated last week
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- Categorical Query Language IDE☆301Updated this week
- A formal logic framework that runs in the browser☆284Updated 2 months ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆60Updated 7 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆242Updated 10 years ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆972Updated this week
- A formalization of geometry in Coq based on Tarski's axiom system☆191Updated last month
- The HOL Light theorem prover☆449Updated this week
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- Repository for the QED interactive text and possible extensions☆96Updated last month
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 2 years ago
- An automated theorem prover for first-order logic.☆236Updated 3 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆47Updated 3 years ago
- Sigma Knowledge Engineering Environment☆105Updated this week
- The mathematical study of type theories, in univalent foundations☆113Updated 3 weeks ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆412Updated this week
- A textbook on informal homotopy type theory☆2,064Updated last week
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆72Updated 4 years ago
- Visualization Constraints and Weight Learning☆226Updated last year
- Digital images used as illustrations in the Open Logic Project☆6Updated 8 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆198Updated last year
- Grammatical Framework core: compiler, shell & runtimes☆139Updated this week
- Logic and Mechanized Reasoning☆99Updated last month
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- papers of Per Martin Löf☆771Updated last year
- The collected works of F. W. Lawvere☆337Updated 6 months ago