fscq

FSCQ is a certified file system written and proven in Coq

GitHub

234 stars
38 watching
20 forks
Language: Coq
last commit: almost 2 years ago