FSCQ is a file system written and verified in the Coq proof assistant.
francesco-bongiovanni / fscq Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mit-pdos/fscq
FSCQ is a certified file system written and proven in Coq
License: Other