First time here? Check out the FAQ!

Cannot start CogTool.

0 votes
asked by about CogTool
edited by

After clicking the Coqtool icon, a splash screen appears and then nothing.

1 Answer

0 votes
answered by (236k points)

Indeed, I encountered the same error as you did. The application starts, the splash screen is displayed then nothing. However, there is a version that works properly. I've tested it the error is no more.

Version with error: 1.3dev.
Version stable: 1.2.2 [Download: ]

Here is a proof that it works:

Software's functionality

Your answer

Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
To avoid this verification in future, please log in or register