A New Face for Ergo: Adding a User Interface to a Programmable Theorem Prover

Cite this paper

@inproceedings{Utting1995ANF, title={A New Face for Ergo: Adding a User Interface to a Programmable Theorem Prover}, author={Mark Utting and Ray Nickson}, year={1995} }