AISC
2010
Springer
13 years 9 months ago
2010
Springer
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 sensib...