Logiciels

  • Certicrypt et Easycrypt: preuves cryptographiques assistées par ordinateur.

  • CoqApprox, une bibliothèque d’approximation polynomiale rigoureuse en Coq.

  • Cyp, un outil pour colorer des preuves.

  • Gbcoq, une implantation certifiée de l’algorithme de Buchberger.

  • GeoView, un outil pour visualiser des énoncés géométriques.

  • Pcoq, une interface graphique pour Coq.

  • Tralics, un traducteur LaTeX-vers-XML.