Configuration of Proof General

Pierre Letouzey edited this page Oct 12, 2017 · 5 revisions

Old pages on Proof General (possibly deprecated)

Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.