Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
stdlib
Stdlib for the Rocq Prover
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
5d ago
Recent commits
Latest commits.
Merge pull request #189 from proux01/ci-update
cbba1ca
Pierre Roux
11mo ago
[CI] Temporarily disactivate things temporarily disactivated in Rocq CI
d0bb444
Pierre Roux
12mo ago
[CI] Add Rocq 9.1+rc1
e1b9eec
Pierre Roux
12mo ago
Merge pull request #199 from proux01/ci-bump-elpi
984abf0
Pierre Roux
11mo ago
[CI] Bump elpi
62dc7f7
Pierre Roux
11mo ago
Merge pull request #198 from proux01/ci-lighten
0e7d4a2
Pierre Roux
11mo ago
[CI] Lighten CI on released Rocq
f06a766
Pierre Roux
11mo ago
Merge pull request #197 from proux01/ci-master-toolbox
4c27da7
Pierre Roux
11mo ago
Top contributors
Builders behind this project.
herbelin
8.9K commits
ppedrot
5.8K commits
coqbot
3.6K commits
SkySkimmer
3.5K commits
maximedenes
2.4K commits
letouzey
2K commits
ejgallego
2K commits
mattam82
1.9K commits
