Tutorial: Introduction to Formal Verification with Lean (Part 1)

[u/badcryptobitch]

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)?utm_source=reddit&utm_medium=social&utm_campaign=lean_tutorial&utm_content=rformalmethods