Hacker News new | ask | show | jobs
by hollerith 15 days ago
Can you show us a proof of correctness you've written?