Saw the name and was disappointed that this wasn't some kind of verified file system written in the F* programming language (https://fstar-lang.org https://fsta

Saw the name and was disappointed that this wasn't some kind of verified file system written in the F* programming language (https://fstar-lang.org https://fstar-lang.org). I don't think I'd ever trust or use this, but still, good job OP :)