Density Compiler
From MaRDI portal
swMATH28659MaRDI QIDQ40373FDOQ40373
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Density_Compiler.html
Cited In (30)
- Quasi-Borel Spaces
- Verified analysis of random binary tree structures
- HOL-Omega
- Program logic for higher-order probabilistic programs in Isabelle/HOL
- pGCL
- Verified analysis of random binary tree structures
- 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
- Equational Reasoning with Applicative Functors
- Monad normalisation
- Probabilistic_While
- Probabilistic_Prime_Tests
- Effect polymorphism in higher-order logic (proof pearl)
- Markov chains and Markov decision processes in Isabelle/HOL
This page was built for software: Density Compiler
