GitHub repository: mit-plv/bedrock
Primary language: Coq
Created: 2017-05-10T21:09:49Z
Description: Coq library for verified low-level programming