First release: curate version 20220205 Contains the PVS patch to export theories and the lambdapi encoding to typecheck the translation. Depends on - PVS7.1, - lambdapi https://github.com/gabrielhdt/lambdapi, rev a4853bc29b437a9fb639592cefe2c7ba32abf440