mit-plv / bedrockLinks

Coq library for verified low-level programming
60Updated 8 years ago

Alternatives and similar repositories for bedrock

Users that are interested in bedrock are comparing it to the libraries listed below

Sorting: