Proof Outlines as Proof Certificates: a system description. Blanco, R. & Miller, D. In Cervesato, I. & Schürmann, C., editors, Proceedings First International Workshop on Focusing, volume 197, of Electronic Proceedings in Theoretical Computer Science, pages 7–14, November, 2015. Open Publishing Association.
Proof Outlines as Proof Certificates: a system description [link]Paper  doi  bibtex   
@inproceedings{blanco15wof,
  author = {Roberto Blanco and Dale Miller},
  title = {Proof Outlines as Proof Certificates: a system
                 description},
  year = {2015},
  url = {http://www.eprover.org/EVENTS/IWIL-2015.html},
  month = nov,
  editor = {Iliano Cervesato and Carsten Sch{\"u}rmann},
  booktitle = {Proceedings First International Workshop on Focusing},
  series = {Electronic Proceedings in Theoretical Computer
                 Science},
  volume = {197},
  publisher = {Open Publishing Association},
  pages = {7--14},
  doi = {10.4204/EPTCS.197.2}
}

Downloads: 0