coq-intro. An introduction to proving theorems and certifying programs with Coq.

github.com/stepchowfun/coq-intro
by @stepchowfun

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.