3 ms·
So, what would be a gentle introduction to Coq? Any recommendations?
by eterps 4y ago
So, what would be a gentle introduction to Coq? Any recommendations?
- yodsanklai 4y agohttps://softwarefoundations.cis.upenn.edu https://softwarefoundations.cis.upenn.edu