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