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 26-06-2015 16:08:55 by eduroam-213a)