The Certification Problem Format

Christian Sternagel and René Thiemann
Proceedings of the 11th International Workshop on User Interfaces for Theorem Provers (UITP 2014), Electronic Proceedings in Theoretical Computer Science 167, pp. 61 – 72, 2014.

abstract   BibTeX   PDF   doi:10.4204/EPTCS.167.8