Why formalize mathematics - more than catching errors
Comments ⌘ Read more