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

RE: [PVS-Help] How to avoid/discharge an Existence TCC for my subtype



Thanks Cesar!

The AXIOM approach got me up and running for now; I will try your second
approach when I return to create a model to ground the entire theory.  

--mark