Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Software engineering / Mathematical logic / Data types / Automated theorem proving / Logic programming / Lambda calculus / Substitution / De Bruijn index / Term / Standard ML


A Verified Compiler from Isabelle/HOL to CakeML
Add to Reading List

Open Document

File Size: 718,45 KB

Share Result on Facebook