lmkr / cpnbookLinks
Homepage for the Coloured Petri Nets book
☆19Updated 6 years ago
Alternatives and similar repositories for cpnbook
Users that are interested in cpnbook are comparing it to the libraries listed below
Sorting:
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated 2 months ago
- The MMT Language and System☆75Updated 11 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Tool for suggesting lemma names in Coq verification projects☆20Updated 2 years ago
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆122Updated this week
- SPARK 2014 repository for the Why3 verification platform.☆32Updated last month
- Symbolic formula representation and solver interaction library☆165Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- ☆10Updated 4 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- collaboration on work in progress☆15Updated 14 years ago
- ☆44Updated 2 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- A linter for Soufflé Datalog☆14Updated last year
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 4 months ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- A Rocq formalization of information theory and linear error-correcting codes☆71Updated last week
- Program Round-off Error Certifier via Static Analysis☆51Updated 9 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆82Updated 2 weeks ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆47Updated 2 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago