164
click to vote
AISC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there is also the task of m...