Re: [isabelle] Z3 goes open



Lun 30/3/15, Tobias Nipkow <nipkow at in.tum.de> ha scritto:

> No. We have no control over Z3 and hence Z3 proofs are inherently brittle.
 
> Tobias
 
I see.
Thank you for answering.
Best,

Marco





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