Hacker News new | ask | show | jobs
by inigyou 2 days ago
It's smallish snippets that implement self-contained algorithms, which should make it well within reach of direct formal proof of correctness.