github.com/coq/opam-coq-archive
Various examples of Coq proofs. Various simple examples of Coq proofs
opam install coq-cours-de-coq.8.8.0