Proposal to move FSCQ to coq-community

[palmskog]

Project name: FSCQ

Initial author(s): Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich

Current URL: https://github.com/mit-pdos/fscq

Kind: Coq library and extractable program

License: MIT

Description: FSCQ is a file system written and verified in Coq.

Status: Unmaintained (README says "Unmaintained research prototype")

New maintainer: looking for a volunteer

@tchajed can you comment on whether (or not) you believe this project could be a good fit for Coq-community? Personally, I think having an up-to-date FSCQ would be a great service to the research community, e.g., for experimentally integrating with other projects such as Verdi Raft.