Alternatives and similar repositories for ltl-visualizer

Users that are interested in ltl-visualizer are comparing it to the libraries listed below

• appliedfm / vstyle
  A style guide for Coq
  ☆18Updated 3 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated 11 months ago
• jespercockx / popl19-tutorial
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Updated 6 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 7 years ago
• uwplse / pumpkin-pi
  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
  ☆49Updated 3 weeks ago
• HarrisonGrodin / agda-calf
  A cost-aware logical framework, embedded in Agda.
  ☆63Updated this week
• jsiek / denotational_semantics
  Denotational semantics based on graph and filter models
  ☆23Updated 7 months ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆46Updated 5 months ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 4 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 3 years ago
• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆55Updated 6 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆67Updated this week
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆59Updated last year
• maxsnew / grammars-and-semantic-actions
  Intrinsic Verification of Formal Grammar Theory
  ☆26Updated this week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆57Updated 2 weeks ago
• TiarkRompf / reachability
  ☆53Updated 4 months ago
• rocq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆44Updated 2 months ago
• adamgundry / type-inference
  Unification and type inference algorithms
  ☆125Updated 10 years ago
• tchajed / coq-tactical
  Library of Coq proof automation
  ☆16Updated 3 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated 2 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆27Updated last year
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆25Updated last month
• jkoppel / thermometer-continuations
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆21Updated 10 months ago
• yav / simple-smt
  ☆21Updated 7 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• ayberkt / sequents
  Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
  ☆26Updated last year