1 independent CECILL-B listing the big search engines bury.
Mathematical Components for the Coq proof assistant