Density Compiler
From MaRDI portal
Software:40373
swMATH28659MaRDI QIDQ40373FDOQ40373
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Density_Compiler.html
Cited In (13)
- Quasi-Borel Spaces
- Verified analysis of random binary tree structures
- Program logic for higher-order probabilistic programs in Isabelle/HOL
- pGCL
- Verified analysis of random binary tree structures
- Jordan Normal Forms
- QuickSort Cost
- Random BSTs
- Root Balanced Tree
- Treaps
- Equational Reasoning with Applicative Functors
- 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
