About us
Define
Definitions for
"absolute name"
a sequence of single identifiers separated by dots
coq.inria.fr