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)
  ☆194Updated 10 months ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆300Updated this week
• formalabstracts / formalabstracts
  ☆161Updated 5 years ago
• wo / tpg
  Tree Proof Generator
  ☆161Updated 2 weeks ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆120Updated this week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆235Updated 3 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 3 weeks ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years 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
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆523Updated 3 months ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆104Updated this week
• anvaka / graph-drawing-libraries
  Trying to compare known graph drawing libraries
  ☆592Updated this week
• bpowers / sd.js
  sd.js is now https://simlin.com
  ☆55Updated 3 years ago
• uwdata / draco
  Visualization Constraints and Weight Learning
  ☆226Updated last year
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆95Updated 2 weeks ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆269Updated this week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆60Updated 7 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆281Updated 2 months ago
• ToposInstitute / poly
  ☆114Updated 7 months ago
• ontologyportal / sumo
  Suggested Upper Merged Ontology (SUMO)
  ☆229Updated this week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆249Updated 2 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆79Updated 4 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 10 months ago