rgrig
1,345
reputation
1
16
19
program verification, mostly