[jkhdigital]

And, in the fields which make heavy use of mathematical abstractions, “open-source” proofs written in a language amenable to automated proof assistants.