Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Rocq Prover
sync-2025
My MPRI SYNC project
Rocq Prover
Emerging
GitHub
Stars
—
Forks
—
Contributors
6
Last push
5mo ago
Recent commits
Latest commits.
Merge pull request #18 from rajdakin/proven-timed
5f554b5
rajdakin
5mo ago
Merge branch 'main' into proven-timed
eff997c
rajdakin
5mo ago
Merge pull request #17 from rajdakin/generic-timing
ede64f6
rajdakin
5mo ago
Added completeness of timing translation
6fc08cf
rajdakin
5mo ago
More semantics results
d33d720
Faholan
5mo ago
[WIP] Added correctness of timing translation, still missing the converse (and completeness)
7b20b52
rajdakin
5mo ago
Test for negative numbres
4ceb461
Faholan
5mo ago
Remove the void type
c753878
Faholan
5mo ago
Top contributors
Builders behind this project.
Faholan
67 commits
rajdakin
43 commits
lafeychine
23 commits
Lzebulon
9 commits
RatCornu
7 commits
LeoJuguet
2 commits
