mit-plv / bedrock

Coq library for verified low-level programming

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

mit-plv/bedrock Watchers

Anders Kaseorg
andersk
Ben Delaware
bendy
Clément Pit-Claudel
cpitclaudel
eemailme
Jason Gross
JasonGross
James Cloos
jhcloos
antonio nikishaev
llelf
MohsenLesani
CJ Bell
siegebell
Peng Wang
wangpengmit

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.