Some of the tools listed here are part of bigger projects that support other proof assistants/theorem provers. Another list of Coq-related tools can be found at http://coq.inria.fr/tools1-eng.html.

Interface for Editing Proofs

Interface for Browsing Proofs

Presenting Proofs

Tactics packages

Packaging extracted code

Tools (last edited 07-12-2010 11:08:27 by ThomasBraibant)

Cocorico!WikiLicense