Open Source Alternatives to ProofGeneral

1 alternative323 total stars42 total forks1 language

What is ProofGeneral?

ProofGeneral is an Emacs-based generic interface for proof assistants, supporting interactive theorem proving with systems like Coq, Isabelle, and others.. There is currently 1 open-source alternative to ProofGeneral, 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