LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

F*

FStar

Verification system for effectful programs

F*Emerging

Stars

—

Forks

—

Contributors

8

Last push

74mo ago

Recent commits

Latest commits.

[CI] regenerate hints + ocaml snapshot
5d29af7Dzomo the everest Yak74mo ago
[CI] regenerate hints + ocaml snapshot
cbbae00Dzomo the everest Yak74mo ago
Revert "(TEST) Use Everest-CI taramana_ocaml_4_09"
d4ad1c0Tahina Ramananandro74mo ago
Revert "Revert "F# parser snap""
0346a38Tahina Ramananandro74mo ago
[CI] regenerate hints + ocaml snapshot
b29dc05Dzomo the everest Yak74mo ago

Merge branch 'master' of github.com:FStarLang/FStar into _taramana_ocaml_4_09

f6da5c9Tahina Ramananandro74mo ago

9ea4471Tahina Ramananandro74mo ago

Revert "F# parser snap"

b8e150aTahina Ramananandro74mo ago

Top contributors

Builders behind this project.

victor-dumitrescu