Probabilistic_While

MaRDI QIDQ53713swMATHFDO

Official website https://www.isa-afp.org/entries/Probabilistic_While.html

Cited in

(6)

• CryptHOL: game-based proofs in higher-order logic
• Perron Frobenius
• Zoo Probabilistic Systems
• Game_Based_Crypto
• MFMC_Countable
• A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory

This page was built for software: Probabilistic_While