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

[PVS-Help] proving the prelude?



Hi,

during building PVS I see the prelude being typechecked but not
proved. When is the prelude proved?

Bye,

Hendrik