40 citations · 43 across the 6 of their papers we have counts for
1 paper · 1 filter
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…