Connecting computational and symbolic crypto models
CoqMIT
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.