ProTeM: A Proof Term Manipulator (System Description)

Christina Kohl and Aart Middeldorp
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Leibniz International Proceedings in Informatics 108, pp. 31:1 – 31:8, 2018.

abstract   BibTeX   PDF   doi:10.4230/LIPIcs.FSCD.2018.31