/cross-crypto

Connecting computational and symbolic crypto models

Primary LanguageCoqMIT LicenseMIT

cross-crypto

Connecting computational and symbolic crypto models

Build

Run make fcf to build FCF, followed by make. The environment variable COQPATH must contain fcf/src. The utility script coqpath runs any command with the correct COQPATH set.