3 ms·
For me Coq - the automated proof assistant was it. You can consider it a game where you try to prove something. And it is green and says okay when you are corre
by thealistra 4y ago
For me Coq - the automated proof assistant was it. You can consider it a game where you try to prove something. And it is green and says okay when you are correct. If you just do it on paper you are never sure about if you are correct.
- eterps 4y agoSo, what would be a gentle introduction to Coq? Any recommendations?
- yodsanklai 4y agohttps://softwarefoundations.cis.upenn.edu https://softwarefoundations.cis.upenn.edu