4 ms·
I suppose we’d better get you in contact with with all those silly mathematicians who like to use proof assistants to add rigour to their work.
by 0db532a0 8y ago
I suppose we’d better get you in contact with with all those silly mathematicians who like to use proof assistants to add rigour to their work.
- kazinator 8y agoIn run of the mill mathematics, I've never seen zero treated as a special type. In derivations, a restriction against zero (because some variable appeared in a denominator) is usually carried as a logical assertion that is attached to subsequent derivations, like "<.. equation ...>, x /= 0".