Get the latest tech news
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.
None
Or read this on Hacker News
