🏛️ The Human-Computer Interaction Crypt

cs.HC: Where Human-Computer Interaction papers rest without their code.

14703 Total Papers
12479 No Code
238 Twilight
1986 Has Code
13.5% Survival Rate
R.I.P. 👻 Ghosted

A drag-and-drop proof tactic

Pablo Donato, Pierre-Yves Strub, Benjamin Werner

cs.HC 🏛 Certified Programs and Proofs 📚 13 cites 3 years ago