News for hackers. Stuff that matters.

A comment on Ask HN: Which general programming language is good for learning/exploring math?. Parent comment

Re:Ask HN: Which general programming language is good for le... by mjoin on Sunday October 25, 2020 @07:18AM (#24885432)
https://coq.inria.fr/ would be a good choice for proof assistance, I believe
[ Parent | on HN ]

There are no comments on this comment yet.