Permalink
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 148 Bytes
An extended worked example on using HOL and CakeML to write verified programs,
that was presented as a tutorial on CakeML at PLDI and ICFP in 2017.