#640 Improve documentation of the auto attribute of proofs

2.7
open
3
2012-12-08
2012-11-07
No

Document that the "auto" attribute of proofs means that the proof has been discharged automatically in the past and that the obtained proof has been kept valid since. This attribute is not a guarantee that the proof can still be proved automatically (the proof obligation or the automated proof tactic might have changed since).

Discussion


Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks