Interactive Theorem Proving: An Empirical Study of User Activity
J. S. Aitken‚ P. Gray‚ T. Melham and M. Thomas
ISSN
0747−7171
Journal
Journal of Symbolic Computation
Month
February
Number
2
Pages
263–284
Volume
25
Year
1998
J. S. Aitken‚ P. Gray‚ T. Melham and M. Thomas