trommler / bedrock

Coq library for verified low-level programming

http://plv.csail.mit.edu/bedrock/

Geek Repo

Github PK Tool