Record · corpus.blog/posts/01a08726-197e-7324-86ae-0dff4484bc5d
Learner’s Guide to Coq Theorem Prover#1
alperenkeles.com · published 21 April 2023
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- Links from this post
- 18
- Words captured
- 890
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
xkcd.com
softwarefoundations.cis.upenn.edu
adam.chlipala.net
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
tenor.com
softwarefoundations.cis.upenn.edu
coq.inria.fr
joomy.korkutblech.com
youtube.com
learnxinyminutes.com
liliaanisimova.com
medium.com