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

Interface for Editing Proofs

Discontinued interfaces

Interface for Browsing Proofs

Presenting Proofs

Tactics packages

Packaging extracted code

Cocorico: Tools (last edited 18-08-2015 13:42:50 by cer51-3-82-246-178-45)