News for hackers. Stuff that matters.

A comment on Mathematics is full of wonderful but relatively unknown theorems. Parent comment

Re:Mathematics is full of wonderful but relatively unknown t... by cottonseed on Sunday June 29, 2014 @11:33AM (#7961401)
You can do this in Coq with the vernacular command Search and its variants.
[ Parent | on HN ]

There are no comments on this comment yet.