6 Excellent Free Books to Learn Coq - LinuxLinks

Coq is a dependently typed language. This means that the types of the language may depend on the values of variables.