Sciweavers

Share
AISC
2010
Springer

Some Considerations on the Usability of Interactive Provers

10 years 19 days ago
Some Considerations on the Usability of Interactive Provers
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.
Andrea Asperti, Claudio Sacerdoti Coen
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where AISC
Authors Andrea Asperti, Claudio Sacerdoti Coen
Comments (0)
books