J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas. Interactive Theorem Proving: An Empirical Study of User Activity. Journal of Symbolic Computation, 25(2):263-284, 1998.
@article{AitkenGMT98,
title = {Interactive Theorem Proving: An Empirical Study of User Activity},
author = {J. Stuart Aitken and Philip D. Gray and Thomas F. Melham and Muffy Thomas},
year = {1998},
tags = {empirical, Isabelle/HOL},
researchr = {https://researchr.org/publication/AitkenGMT98},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {25},
number = {2},
pages = {263-284},
}