Foundational Certified Code in the Twelf Metalogical Framework

by Karl Crary , Susmit Sarkar
Citations:1 - 0 self