Georges Gonthier : Le génie logiciel des mathématiques formelles (14/10/2015)

https://codesource.hypotheses.org/101