Alternatives and similar repositories for modallogic:

Users that are interested in modallogic are comparing it to the libraries listed below

• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆197Updated 11 months ago
• wo / tpg
  Tree Proof Generator
  ☆166Updated last month
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆415Updated this week
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆275Updated this week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆453Updated last week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆193Updated 2 months ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆62Updated 7 years ago
• cjrd / kmap
  Knowledge map visualization library
  ☆89Updated 6 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆524Updated 5 months ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆243Updated 10 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆86Updated 2 years ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆303Updated 2 weeks ago
• koka-lang / madoko
  Madoko is a fast markdown processor for high quality academic and technical articles
  ☆396Updated 7 months ago
• tammet / logictools
  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
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 8 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆347Updated 7 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆374Updated last month
• pbellon / tractatus-tree
  Visualization of the Wittgenstein's tractatus logico-philosophicus
  ☆62Updated 10 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• HOL-Theorem-Prover / HOL
  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…
  ☆656Updated this week
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆114Updated 2 months ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆140Updated last year
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆120Updated 9 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated 2 months ago