# PVS proofs
Encodings of PVS and manual translations of PVS prelude and others. Use with `lambdapi`.
## Structure - `prelude` contains parts of the PVS prelude - `adlib` contains additional libraries not in the prelude - `sandbox` contains miscellaneous experiments
