Rare find

fscq. FSCQ is a certified file system written and proven in Coq

github.com/mit-pdos/fscq

by

@mit-pdos

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.