bedrock

Coq library for verified low-level programming

GitHub

57 stars
10 watching
6 forks
Language: Coq
last commit: over 7 years ago

Screenshot of mit-plv/bedrock website

plv.csail.mit.edu/bedrock/