logoalt Hacker News

ares623 • today at 2:04 AM • 0 replies • view on HN

I declare ~bankruptcy~ formal verification