stepchowfun/coq-intro

An introduction to proving theorems and certifying programs with Coq.

Coq