- F* (a dependently-typed variant of F# for program verification) re-released under Apache 2.0 https://github.com/nikswamy/fstar 55 comments programming
- F* (a dependently-typed variant of F# for program verification) re-released under Apache 2.0 https://github.com/nikswamy/fstar 5 comments fsharp
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - FStarLang/FStar: A Proof-oriented Programming Language
See how to search.