Newer
Older
Translating to Dedukti/Lambdapi
===============================
This directory contains scripts and tools for the translation of PVS theories
to Dedukti files.
- `pvs2dk.sh`: translate a theory to a lambdapi file.
- `lambdapi.pkg`: the module file for lambdapi (required to type check files).
- `lambdapi.mk`: some targets and rules to typecheck lambdapi files.
- `*.patch`: patches that may be apply to the Prelude to translate it.