GitHub repository: mit-pdos/fscq-impl
Primary language: Coq
Description: FSCQ is a certified file system written and proven in Coq