Coqtail
COQ Theorems, Abstractions and Implementations (Bachelor-Level)
Publications
- G. Allais. Coq with power series (THedu'11) [pdf | slides]
- J-M Madiot, P-M. Pédrot. Constructive axiomatic for the real numbers (3rd Coq workshop) [pdf | slides]
- G. Allais. Using reflection to solve some differential equations (3rd Coq workshop) [pdf | slides]
