“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”
coq top 10 theorem-proving top 10 dependent-types top 10 
Expertise
Global rank
# 91,340Location
ParisLanguages
coq
OCaml
TeX
Products
opam
Atom
Emacs
sed
Vim
Topics
theorem...
depende...
integra...
theorem...
mathema...
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]