Hacker News new | ask | show | jobs
by cryptonector 2867 days ago
It's not convenient at all in a language like Coq.
1 comments
antidesitter 2867 days ago
Can you elaborate?
link