← All repos

mit-pdos/fscq

View on GitHub ↗ ★ 252 Coq

FSCQ is a certified file system written and proven in Coq

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2015-11-20 · latest 2016-05-01