jrclogic / SMCDELLinks
A symbolic model checker for Dynamic Epistemic Logic.
☆49Updated 3 weeks ago
Alternatives and similar repositories for SMCDEL
Users that are interested in SMCDEL are comparing it to the libraries listed below
Sorting:
- HoTT in Lean 3☆82Updated 5 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 2 years ago
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated 2 months ago
- Lean4 port of Arduino balance car controller☆48Updated 4 years ago
- A toolkit for enforcing logical specifications on neural networks☆116Updated this week
- Effective Algebraic Topology in Haskell☆90Updated last year
- A formalization of M-types in Agda☆36Updated 5 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆71Updated last year
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆53Updated this week
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 months ago
- A monadic library for symbolic evaluation☆71Updated 4 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Ground Zero: Lean 4 HoTT Library☆74Updated last month
- An implementation of a simple Neural network in Idris using category theory.☆23Updated last year
- Convert Haskell source code to Coq source code.☆91Updated 4 months ago
- An equational theorem prover based on Knuth-Bendix completion☆57Updated last week
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 8 years ago
- A cost-aware logical framework, embedded in Agda.☆67Updated last week
- Implementation of Nuprl's type theory in Coq☆46Updated 11 months ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 5 years ago
- An experimental category theory library for Lean☆50Updated 2 years ago
- A SAT solver written in Haskell.☆39Updated 7 years ago
- Graded Dependent Type systems☆25Updated 2 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆78Updated 2 months ago