| http://www.w3.org/ns/prov#value | - Whoever wants to audit my work will have to regenerate them (which will be non-trivial, as e.g. computer systems are eliminated or updated, and while I archive all versions of my prover, operating systems and compilers evolve, and not all old code will work on new machines.
|