4 ms·
Never used it, but https://github.com/project-everest/mitls-fstar https://github.com/project-everest/mitls-fstar always seems an incredibly cool thing. Huh, app
by BoingBoomTschak 2y ago
Never used it, but https://github.com/project-everest/mitls-fstar https://github.com/project-everest/mitls-fstar always seems an incredibly cool thing. Huh, apparently there's a successor to F* called F7 (https://github.com/mitls/mitls-flex https://github.com/mitls/mitls-flex) ?
- mlinksva 2y agoLooks like it's a predecessor https://www.microsoft.com/en-us/research/project/f7-refinement-types-for-f/ https://www.microsoft.com/en-us/research/project/f7-refineme...
- BoingBoomTschak 2y agoOh yeah, didn't look at the dates. It's maybe dead, then.
- Taikonerd 2y agoIs Project Everest still going? The GitHub link says that the repo has been archived...