Comment by Houshalter 12 years ago What was the theorem-prover as programming language article? I can't seem to find it. 1 comment Houshalter Reply hrjet 12 years ago I was wondering the same. I think this is the one the OP meant: https://news.ycombinator.com/item?id=6156016
hrjet 12 years ago I was wondering the same. I think this is the one the OP meant: https://news.ycombinator.com/item?id=6156016
I was wondering the same. I think this is the one the OP meant: https://news.ycombinator.com/item?id=6156016