pack.coq - jgrey4296/jgrey4296.github.io GitHub Wiki
- https://softwarefoundations.cis.upenn.edu/
- https://softwarefoundations.cis.upenn.edu/lf-current/toc.html
- https://softwarefoundations.cis.upenn.edu/plf-current/toc.html
- https://softwarefoundations.cis.upenn.edu/vfa-current/toc.html
- https://softwarefoundations.cis.upenn.edu/qc-current/toc.html
- https://softwarefoundations.cis.upenn.edu/vc-current/toc.html
- https://softwarefoundations.cis.upenn.edu/slf-current/toc.html
- https://plv.mpi-sws.org/mtac/
- https://github.com/Mtac2/Mtac2
- https://github.com/coq-community/metaprogramming-rosetta-stone
- https://github.com/ProofGeneral/PG/
- https://github.com/coq-community/awesome-coq
- https://github.com/coq-community/graph-theory
- https://github.com/coq/coq
- https://github.com/olivierverdier/spacemacs-coq
- https://github.com/tchajed/ltac2-tutorial
- https://github.com/twosixlabs/coq-operads
- https://medium.com/travel-cloud/why-you-should-care-about-dependently-typed-programming-2f7a409f31c0
- https://pjreddie.com/coq-tactics/
- https://www.cl.cam.ac.uk/~nk480/
- https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html#simplegoals