[CakeML-dev] Using CF

Scott Owens S.A.Owens at kent.ac.uk
Wed Feb 15 11:52:17 UTC 2017

I’d like to work on some simple algorithmic verification (quicksort or the like) using CF, just to get familiar with how it works. Can anyone point me to what HOL and CakeML commits I should be using to get a working CF? Also, where are the existing examples, so that I can not duplicate any, and also see how to get started.


More information about the Developers mailing list