Proofs are cheap now. Specs are next

 (genproof.com)

14 points | by torutofu 4 hours ago ago

1 comments