top | item 32824628 (no title) njs12345 | 3 years ago A good place to start with Coq is Software Foundations: https://softwarefoundations.cis.upenn.edu/ discuss order hn newest No comments yet.
No comments yet.