- Coq: A program specification and mathematical higher-level language https://coq.inria.fr/ 2 comments
- Opinions on Proof Assistants https://coq.inria.fr/ 44 comments math
- Coq site down http://coq.inria.fr/ 2 comments coq
- Looking for books, articles, courses (any kind of information really) on CS coming from a pure math background https://coq.inria.fr/ 11 comments compsci
Would you like to stay up to date with Computer science? Checkout Computer science Weekly.