AISC
2010
Springer
14 years 2 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...