ProofGeneral/PG

This repo is the new home of Proof General

↗ Open on GitHub

Stars

558

Forks

109

Language

Emacs Lisp

License

GPL-3.0

Last push

2 weeks ago

Emacs Lisp coq proof-assistant emacs integrated-development-environment docker-coq-action proof-general

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.