FSCQ is a certified file system written and proven in Coq - View it on GitHub