rik-x··on Introduction to Formal Verification with Lean Part 1(Asking as an interested noob) -- How is this different to something like 'assert' statements in Python?
rik-x··on Ask HN: What are you working on? (June 2026)Nice! There's a typo on your website:> while still packing quiet the punch.