Skip to content

Formal Methods

MkDocs

Initializing search

Formal Methods

Home
One-time Pad in Lean
One-time Pad in Lean
- OTP Basics
- Perfect Secrecy
- Lean Project Setup
- Basic Types
- Probability in Lean
  Probability in Lean
  - Distributions
  - Deep dive
    Deep dive
    
    why [0, ∞]?
  - A First Proof
  - Joint Distributions
    Joint Distributions
    
    Composing random processes
    
    Deep dive
    Deep dive
    
    Cats and monads
- Law of Total Probability
- Perfect Secrecy in Lean
Miscellany
Miscellany
- MkDocs doc
  MkDocs doc
  - MkDocs MkDocs
    Table of contents
    
    References
  - Admonitions
  - Diagrams
  - Code blocks
  - Content tabs
- Presentation Notes
  Presentation Notes
About
About
- Contributors
- License

Table of contents

References

MkDocs

References#

MkDocs
MkDocs Material
Getting Started with Material for MkDocs, by James Willet.

Perfect Secrecy in Lean

Made with Material for MkDocs