Learn X in Y minutes where X=Coq

learnxinyminutes.comsite

Whirlwind tour of Coq as a language.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   Learn X in Y minutes learnxinyminutes.com

   site category #ocaml link ↗
2. ▲
   Learn X in Y minutes - Where X = Common Lisp learnxinyminutes.com

   site category #cl link ↗
3. ▲
   Learn X in Y minutes learnxinyminutes.com

   site category #crystal link ↗

   Quick tutorial on Crystal

4. ▲
   Learn F# in Y minutes learnxinyminutes.com

   site category #fsharp link ↗

   A guide recommended to quickly start programming in F#.

5. ▲
   Mike Nahas's Coq Tutorial mdnahas.github.io

   site category #coq link ↗

   Basics of using Coq to write formal proofs.

6. ▲
   Coq Exchange: ideas and experiment reports about Coq project.inria.fr

   site category #coq link ↗

Coq › Resources > Tutorials and Hints: “Whirlwind tour of Coq as a language.”