Zoo Probabilistic Systems
From MaRDI portal
Software:40255
No author found.
Related Items (8)
Eisbach: a proof method language for Isabelle ⋮ CryptHOL: game-based proofs in higher-order logic ⋮ Unnamed Item ⋮ Markov chains and Markov decision processes in Isabelle/HOL ⋮ Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL ⋮ Effect polymorphism in higher-order logic (proof pearl) ⋮ Probabilistic Functions and Cryptographic Oracles in Higher Order Logic ⋮ A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
This page was built for software: Zoo Probabilistic Systems
