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

[PVS-Help] quotient constructions in PVS



Can anyone refer me to a paper describing a quotient construction 
performed using PVS? Does PVS provide any support for quotienting type 
or set with respect to an equivalence relation?

Larry Paulson