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.

Mark.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.