Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving uri icon

publication date

  • December 4, 2017

volume

  • 262