Introduction to Formal Verification with Lean Part 1 11 hours ago
(Asking as an interested noob) -- How is this different to something like 'assert' statements in Python?
rik-x
Posts0
Comments2
No posts found.
HN user
(Asking as an interested noob) -- How is this different to something like 'assert' statements in Python?
Nice! There's a typo on your website:
while still packing quiet the punch.