6 citations · 12 across the 5 of their papers we have counts for
1 paper · 2 filters
Serge Autexier, Pedro Quaresma
The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof ass…