Which proof assistants did you play with? Why are avoiding coq?
back
1 comments
I think WaxProlix (https://news.ycombinator.com/item?id=9553471) was avoiding puerile jokes about (a homonym for) Coq, not avoiding Coq itself.
Yes, exactly, especially in the context of "my girlfriend and I", "playing with", etc. Low-(brow|hanging fruit), even for me.