Pages that link to "Item:Q2352494"

The following pages link to Formalization of Shannon's theorems (Q2352494):

Displaying 5 items.

• Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
• A library for formalization of linear error-correcting codes (Q2209551) (← links)
• Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (Q2802495) (← links)
• Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory (Q2945620) (← links)
• A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)