/PG

This repo is the new home of Proof General

Primary LanguageEmacs LispGNU General Public License v2.0GPL-2.0

Stargazers