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