a Coq retrospective - at the heart of Coq architecture, the genesis of version 7.0
Origin : Files produced by the author(s)