4 ms·
And, in the fields which make heavy use of mathematical abstractions, “open-source” proofs written in a language amenable to automated proof assistants.
by jkhdigital 5y ago
And, in the fields which make heavy use of mathematical abstractions, “open-source” proofs written in a language amenable to automated proof assistants.