Hacker News new | ask | show | jobs
by ares623 64 days ago
I declare ~bankruptcy~ formal verification