C
ake
M
L
Dependents
2019
A Verified Code Generator from Isabelle/HOL to CakeML
by
Lars Hupel
Jul 08