Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
comparse
qaphla/comparse
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
2
Last push
6mo ago
Recent commits
Latest commits.
chore: update F*
c0aab14
Théophile Wallez
7mo ago
chore: update F*
288bf74
Théophile Wallez
7mo ago
chore: update F*
014c527
Théophile Wallez
9mo ago
chore: update F*
d127dfe
Théophile Wallez
9mo ago
chore: update F*
032e97f
Théophile Wallez
9mo ago
cleanup: update F*, remove for_allP
411b021
Théophile Wallez
13mo ago
fix: use prop wherever possible
bedffbc
Théophile Wallez
18mo ago
chore: updating for new F* build (#1)
8e8269e
Guido Martínez
18mo ago
Top contributors
Builders behind this project.
TWal
132 commits
mtzguido
1 commits
