3 ms·
My girlfriend and I are starting to play around with proof assistants (avoiding the coq joke as best I can...) and it would be great to have something like this
by WaxProlix 11y ago
My girlfriend and I are starting to play around with proof assistants (avoiding the coq joke as best I can...) and it would be great to have something like this to go along with that endeavour.
- pykello 11y agoWhich 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.
- tel 11y agoI liked Coq d'Art