←
Back to Open Source
🐙 GitHub Detail
F
mit-pdos/fscq
By mit-pdos
FSCQ is a certified file system written and proven in Coq
GitHub
Coq
Other
Updated 03 May 2026
Live Snapshot
⭐
Stars
254
🍴
Forks
24
📄
License
Other
🧩
Type
Coq
📘
About this open-source project
Live information fetched from GitHub.
FSCQ is a certified file system written and proven in Coq
🌿
Default Branch
master
🐞
Open Issues
5
👀
Watchers
254