Comment 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.

0 comments