Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
FStar
A Proof-oriented Programming Language
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
12mo ago
Recent commits
Latest commits.
Merge pull request #3567 from mtzguido/deps
ad0961b
Guido Martínez
20mo ago
snap
8adf23b
Guido Martínez
20mo ago
Revert "Parser.Dep: remove wrong logic for FStar.Stubs"
dadb8e3
Guido Martínez
20mo ago
Merge pull request #3566 from mtzguido/showable_standalone
18ad23c
Guido Martínez
20mo ago
snap
5c6dfd8
Guido Martínez
20mo ago
Class.Show: remove dependency on Printable
6836805
Guido Martínez
20mo ago
Merge pull request #3565 from mtzguido/ocamlenv
da7184a
Guido Martínez
20mo ago
snap
8820325
Guido Martínez
20mo ago
Top contributors
Builders behind this project.
nikswamy
8.3K commits
mtzguido
7.7K commits
aseemr
6.2K commits
tahina-pro
2K commits
catalin-hritcu
1.6K commits
msprotz
1.4K commits
R1kM
961 commits
s-zanella
537 commits
