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)
  ☆196Updated 11 months ago
• probmods / webppl
  Probabilistic programming for the web
  ☆621Updated 10 months ago
• wo / tpg
  Tree Proof Generator
  ☆164Updated 3 weeks ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆176Updated 11 months ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆303Updated 2 weeks ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated last month
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 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
  ☆526Updated 5 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 2 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
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆250Updated last month
• cjrd / directed-graph-creator
  Interactive tool for creating directed graphs
  ☆286Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆120Updated this week
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆200Updated 3 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆122Updated 6 months ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆79Updated 3 weeks ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆103Updated this week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆192Updated last month
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years 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 11 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆105Updated this week
• dagrejs / graphlib-dot
  A DOT language parser and writer for graphlib
  ☆227Updated 8 months ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 4 months ago