zlacker

[parent] [thread] 1 comments
1. Housha+(OP)[view] [source] 2013-08-05 02:08:29
What was the theorem-prover as programming language article? I can't seem to find it.
replies(1): >>hrjet+di
◧
2. hrjet+di[view] [source] 2013-08-05 09:32:16
>>Housha+(OP)
I was wondering the same. I think this is the one the OP meant: https://news.ycombinator.com/item?id=6156016
[go to top]