Re: [isabelle] lexical matters
on 18/1/11 2:01 AM, Tjark Weber <webertj at in.tum.de> wrote:
> As long as you assume a non-malicious user who wants to create a valid
> machine-checked proof, it is not much of an issue.
Yes, but I don't think we can assume a non-malicious user! What if someone
wants to claim they have proved something in order to get paid?
Subcontracting out proofs could be a serious business in the future.
This archive was generated by a fusion of
Pipermail (Mailman edition) and