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.
mit-plv/cross-crypto
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|