Verified record · from the answer index

proof-general

Emacs-based generic interface for theorem provers

cli:brew:proof-general · published by proofgeneral · source repository