Open Source Alternatives to RocqIDE

1 alternative323 total stars42 total forks1 language

What is RocqIDE?

RocqIDE is an integrated development environment for the Coq proof assistant, providing tools for writing, verifying, and managing formal proofs.. There is currently 1 open-source alternative to RocqIDE, with a combined total of 323 GitHub stars. The most common language among these projects is Python.

Showing 1 open-source alternative

Coqtailwhonore/Coqtail

A Vim plugin for interactive Rocq (Coq) proof development, providing IDE-like features within the editor.

32342Python

1 day ago

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub