P
airing_
H
eap Dependents
2019
A Verified Code Generator from Isabelle/HOL to CakeML
by
Lars Hupel
Jul 08
2014
Amortized Complexity Verified
by
Tobias Nipkow
Jul 07