logoalt Hacker News

drdrey • yesterday at 9:55 PM • 1 reply • view on HN

good luck formally verifying everything

Replies

ares623 • today at 2:04 AM

I declare ~bankruptcy~ formal verification