#coq #mathematics #inria #calculus of constructions #analytic geometry #mathematical #biology