In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensibly improved since the advent of the "second generation" of systems, in the mid of the eighties. We try to analyze the reasons of such a slow progress, pointing out the main problems and suggesting some possible research directions. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Asperti, A., & Sacerdoti Coen, C. (2010). Some considerations on the usability of interactive provers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6167 LNAI, pp. 147–156). Springer Verlag. https://doi.org/10.1007/978-3-642-14128-7_13
Mendeley helps you to discover research relevant for your work.