jrclogic / SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
☆45Updated 2 weeks ago
Alternatives and similar repositories for SMCDEL:
Users that are interested in SMCDEL are comparing it to the libraries listed below
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- A (formalised) general definition of type theories☆57Updated 3 years ago
- A toolkit for enforcing logical specifications on neural networks☆85Updated this week
- HoTT in Lean 3☆78Updated 4 years ago
- ☆13Updated 3 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 5 months 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
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- ☆51Updated 3 months ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 5 years ago
- Implementation of higher-order logic in Python☆64Updated 2 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆29Updated last year
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- Synthetic Differential Geometry in Agda☆12Updated 10 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 2 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 3 months ago
- Book about using Lean with How To Prove It☆17Updated 2 months ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated last year
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated 11 months ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- Algebraic Combinatorics in Coq☆38Updated last month
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 2 weeks ago
- Experiments with SAT solvers with proofs in Lean 4☆55Updated 8 months ago
- apkg - package manager for Agda☆37Updated 3 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆33Updated 3 months ago
- Partial Commutative Monoids☆28Updated last month