Hacker News new | ask | show | jobs
by user2342 746 days ago
They may work as expected (and probably will), but they are not covered by the proof.