Proceedings of the 12th Workshop on User Interfaces for Theorem Provers

Authors

Subject

User Interfaces for Theorem Provers

Conference Name

12th Workshop on User Interfaces for Theorem Provers

Edited Book

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, Electronic Proceedings in Theoretical Computer Science ( Open Publishing Association), January 2017

DOI