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