Proofs are cheap now. Specs are next

 (genproof.com)

14 points | by torutofu 5 hours ago ago

1 comments