Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
WaxProlix
on May 15, 2015
|
parent
|
context
|
favorite
| on:
The Little Prover
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
on May 15, 2015
|
next
[–]
Which proof assistants did you play with? Why are avoiding coq?
JadeNB
on May 15, 2015
|
parent
|
next
[–]
I think WaxProlix (
https://news.ycombinator.com/item?id=9553471
) was avoiding puerile jokes
about
(a homonym for) Coq, not avoiding Coq itself.
WaxProlix
on May 15, 2015
|
root
|
parent
|
next
[–]
Yes, exactly, especially in the context of "my girlfriend and I", "playing with", etc. Low-(brow|hanging fruit), even for me.
tel
on May 15, 2015
|
prev
[–]
I liked Coq d'Art
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
