D daniellowengrub.com Show HN: Formal Verification with Lean 1 points lowdanie 5 months ago 0 comments