corpus.blog
Claim your blog
Record · corpus.blog/posts/01a087d0-893b-7137-996b-70d9bffa5051

Formal Reasoning in Coq — a Beginner's Guide

raywang.tech · published 25 September 2017

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.

Read the post at raywang.tech Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
14
Words captured
2,511

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
http://6826.csail.mit.edu/2017/
6826.csail.mit.edu
https://coq.inria.fr
coq.inria.fr
https://github.com/mit-frap/spring17
github.com
https://github.com/the-lambda-church/coquille
github.com
https://github.com/cpitclaudel/company-coq
github.com
https://github.com/olivierverdier/spacemacs-coq
github.com
http://6826.csail.mit.edu/2017/lf/
6826.csail.mit.edu
https://github.com/readablesystems/cs260r-17/blob/master/naivecoq.md
github.com
https://pjreddie.com/coq-tactics/
pjreddie.com
http://6826.csail.mit.edu/2017/lab/lab0.html
6826.csail.mit.edu
https://stackoverflow.com/questions/31554453/why-are-logical-connectives-and-booleans-separate-in-coq/31568076
stackoverflow.com
http://flint.cs.yale.edu/cs428/coq/library/Coq.Lists.List.html
flint.cs.yale.edu
https://gist.github.com/davoclavo/d41cd86ffda22f1649e4
gist.github.com
https://pi.sjtu.edu.cn/doc/spacemacs/
pi.sjtu.edu.cn