jrclogic / SMCDELLinks
A symbolic model checker for Dynamic Epistemic Logic.
☆49Updated 2 months ago
Alternatives and similar repositories for SMCDEL
Users that are interested in SMCDEL are comparing it to the libraries listed below
Sorting:
- Datatypes as quotients of polynomial functors☆39Updated 5 years ago
- Lean4 port of Arduino balance car controller☆49Updated 4 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 3 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆55Updated 2 months ago
- A SAT solver written in Haskell.☆39Updated 7 years ago
- HoTT in Lean 3☆82Updated 5 years ago
- Template to effortlessly build math-rich websites☆40Updated 4 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆73Updated last year
- A formalization of M-types in Agda☆36Updated 5 years ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆24Updated last year
- Graded Dependent Type systems☆25Updated 2 years ago
- ☆56Updated 8 months ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated 4 months ago
- Lean type-checker written in Scala.☆40Updated 3 years ago
- A cost-aware logical framework, embedded in Agda.☆71Updated 2 months ago
- Convert Haskell source code to Coq source code.☆93Updated 6 months ago
- A book about functional programming in Lean☆45Updated last year
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- Agda category theory library for denotational design☆56Updated 2 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- A toolkit for enforcing logical specifications on neural networks☆121Updated this week
- High level commands to declare a hierarchy based on packed classes☆104Updated last week
- Educational Proof Assistant for Type Theory☆81Updated last week
- ☆38Updated 4 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Updated 2 years ago
- Hoare Type Theory☆84Updated 7 months ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 8 years ago