Proceedings Eleventh Workshop on User Interfaces for Theorem Provers

Christoph Benzmüller, Bruno Woltzenlogel Paleo

The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof ass…