1 paper · 1 filter
Martin Homik, Andreas Meier
Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for n…