4 ms·
Which proof assistants did you play with? Why are avoiding coq?
by pykello 11y ago
Which proof assistants did you play with? Why are avoiding coq?
- JadeNB 11y agoI think WaxProlix (https://news.ycombinator.com/item?id=9553471 https://news.ycombinator.com/item?id=9553471) was avoiding puerile jokes about (a homonym for) Coq, not avoiding Coq itself.
- WaxProlix 11y agoYes, exactly, especially in the context of "my girlfriend and I", "playing with", etc. Low-(brow|hanging fruit), even for me.