LICENSE: BSD 3-Clause License basis: Contains the beginnings of a standard basis library for CakeML, similar to the standard basis library of SML. build-instructions.sh: This file describes how to install Poly/ML, HOL and CakeML. candle: Verification of a HOL theorem prover, based on HOL Light (http://www.cl.cam.ac.uk/~jrh13/hol-light/), implemented in CakeML. characteristic: A verified CakeML ada


{{#tags}}- {{label}}
{{/tags}}