Publication

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

Serge Autexier, Pedro Quaresma

In: Electronic Proceedings in Theoretical Computer Science (EPTCS) 239 2017.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz