Foundational Certified Code in a Metalogical Framework.

Karl Crary, Susmit Sarkar

Browse the full CADE paper archive.