1. 7
    A short introduction to Coq | The Coq Proof Assistant programming coq.inria.fr
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | 1 comment

  1.  

  2. 3
    LeahNeukirchen avatar LeahNeukirchen 4 years ago | link

    Software Foundations is a great way to get started with Coq and dig deeper.