Community post
Introduction to Formal Verification with Lean Part 1
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book. Source: hashcloak.com (182 points, 30 comments) Hacker News discussion
