Skip to main content

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