Re:1/0 = 0
by cryptonector on Friday August 10, 2018 @05:07PM
(#17736734)
It's not convenient at all in a language like Coq.
[ Parent
| on HN ]
Re:1/0 = 0
by antidesitter on Friday August 10, 2018 @07:21PM
(#17737388)
Can you elaborate?