Live data from Hacker News

Show HN: Formal Verification with Lean

daniellowengrub.com

Post reply on HN

Print view View original

1–2 of 2 posts

Show HN: Formal Verification with Lean

#1

Post by lowdanie » Tue, May 12, 2026, 1:10 PM UTC

Show HN: Formal Verification with Lean
daniellowengrub.com

Re: Show HN: Formal Verification with Lean

#2

Post by aayushkumar121 » Tue, May 12, 2026, 1:40 PM UTC

[dead]

Post reply on HN