CoqIDE
Description
CoqIDE is the graphical integrated development environment for the Coq proof assistant. It provides a user-friendly interface to develop, step through, and manage interactive formal proofs and specifications written in the Coq language, communicating with the Coq proof engine to check proof scripts and display goals, contexts, and error messages.
Typical features include syntax highlighting, stepwise proof navigation, goal and context panes, script editing, and integration with Coq’s tactic exe...
Typical features include syntax highlighting, stepwise proof navigation, goal and context panes, script editing, and integration with Coq’s tactic exe...
Statistics
Created by:
Latest version:
Unknown
People using it:
Keys:
Clicks:
Mouse Scrolls:
Time Used:
Average Time Used:
Create a free WhatPulse account to unlock detailed usage statistics and charts.
| Version | OS | Last Seen |
|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| User |
|---|
CoqIDE
Application statistics and information.
