ProofGeneral

icon indicating a website link https://proofgeneral.github.io/

Results 1 repositories owned by ProofGeneral

PG

479
Stars
84
Forks
Watchers

This repo is the new home of Proof General

verified publisher icon ProofGeneral