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