Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
@proceedings{AQ-17-a, editor = {Serge Autexier and Pedro Quaresma}, booktitle = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers }, title = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers }, journal = {EPTCS}, volume = {239}, series = {EPTCS}, address = {Coimbra, Portugal}, month = {january}, year = {2017}, }