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.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.