It's not convenient at all in a language like Coq. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		cryptonector on Aug 10, 2018 \| parent \| context \| favorite \| on: 1/0 = 0 It's not convenient at all in a language like Coq.

antidesitter on Aug 10, 2018 [–]

Can you elaborate?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact