Density Compiler
From MaRDI portal
Cited in
(30)- Verified analysis of random binary tree structures
- HOL-Omega
- pGCL
- Tycon
- Applicative Lifting
- Amortized Complexity
- Arrow Gibbard Satterthwaite
- Ergodic theory
- CryptHOL
- Jordan Normal Forms
- Markov Models
- Meta Model Isabelle
- Monomorphic Monad
- Perron Frobenius
- QuickSort Cost
- Random BSTs
- Social Choice Theory
- Root Balanced Tree
- Zoo Probabilistic Systems
- Stable Matching
- Treaps
- Monad normalisation
- Probabilistic_While
- Probabilistic_Prime_Tests
- Program logic for higher-order probabilistic programs in Isabelle/HOL
- Verified analysis of random binary tree structures
- Equational Reasoning with Applicative Functors
- Effect polymorphism in higher-order logic (proof pearl)
- Markov chains and Markov decision processes in Isabelle/HOL
- Quasi-Borel Spaces
This page was built for software: Density Compiler
