jnarboux/PA_a_priori_analysis

Accompanying files for the paper "Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis"

Coq