FStarLang/FStar

A Proof-oriented Programming Language

↗ Open on GitHub

Stars

3,103

Forks

263

Language

F*

License

Apache-2.0

Last push

6 days ago

F*proof-assistant verification programming-language c-language ocaml smt f-sharp theorem-proving dependent-types fstar dijkstra-monads interactive-theorem-proving program-proof

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.