143
click to vote
AIMSA
1998
Springer
15 years 7 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...