Software

  • Certicrypt and Easycrypt: computer-aided cryptographic proofs.

  • CoqApprox, a library for rigorous polynomial approximation in Coq.

  • Cyp, a tool to colour proofs.

  • Gbcoq, a certified implementation of Buchberger algorithm

  • GeoView, a tool to visualize geometrical statements.

  • Pcoq, a graphical user-interface for Coq.

  • Tralics, a LaTeX to XML translator.