Hacker News Reader

wonder how much work it would be to add a rust backend to F* [https://github.com/FStarLang/FStar]

It shoud be possible. A specific feature of Coq that we use is impredicative Set. I do not know if this is the case in F*.