14 citations · 58 across the 10 of their papers we have counts for
1 paper · 1 filter
Pablo Donato, Pierre-Yves Strub, Benjamin Werner
We explore the features of a user interface where formal proofs can be built through gestural actions. In particular, we show how proof construction steps can be associated to drag…