Clone CakeML, set $CAKEMLDIR to wherever you cloned it to, then run Holmake.
This research was supported as part of the Future of Life Institute (futureoflife.org) FLI-RFP-AI1 program, grant #2015-144121
CakeML/hol-reflection
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|