quickstrom / ltl-visualizerLinks
An interactive visualizer for linear temporal logic (LTL)
☆33Updated 4 years ago
Alternatives and similar repositories for ltl-visualizer
Users that are interested in ltl-visualizer are comparing it to the libraries listed below
Sorting:
- Luck -- A Language for Property-Based Generators☆36Updated 11 months ago
- A style guide for Coq☆18Updated 4 years ago
- Denotational semantics based on graph and filter models☆23Updated last year
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆80Updated 5 months ago
- Educational Proof Assistant for Type Theory☆80Updated last week
- A verified compiler for a lazy functional language☆37Updated last week
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 4 years ago
- Convert Haskell source code to Coq source code.☆93Updated 7 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆60Updated last year
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Updated 9 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- A framework for implementing and certifying impure computations in Coq☆53Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Updated 4 years ago
- An editor for interactively building natural deduction proofs☆20Updated 7 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last week
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Updated 7 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Updated last year
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Updated 2 years ago
- Paper and talk☆55Updated 2 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Updated 9 months ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 7 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆63Updated last year
- ☆13Updated 4 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Constructive Galois connections☆36Updated 7 years ago
- Haskell implementation of the Edinburgh Logical Framework☆31Updated 2 weeks ago