[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] TCCS: proved - complete versus incomplete



Jerome White schrieb:

> What's the difference between "proved - complete" (line 4) and "proved
> - incomplete" (line 11)? Thanks

"proved - incomplete" means that you are using some lemma (in the
incomplete proof) that is not yet proved.
-- 
Christian Henkel