4 ms·
If you're interested, and you don't care much about tooling, go for it: https://github.com/FStarLang/FStar/blob/master/INSTALL.md https://github.com/FStarLang/
by ZenoArrow 9y ago
If you're interested, and you don't care much about tooling, go for it:
https://github.com/FStarLang/FStar/blob/master/INSTALL.md https://github.com/FStarLang/FStar/blob/master/INSTALL.md