2 ms·
wonder how much work it would be to add a rust backend to F* [https://github.com/FStarLang/FStar https://github.com/FStarLang/FStar]
by zem 2y ago
wonder how much work it would be to add a rust backend to F* [https://github.com/FStarLang/FStar https://github.com/FStarLang/FStar]
- clarus 2y agoIt 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*.