Sign in
Join now
coq
stepbrobd.com
/
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from coq/coq
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
coq
/
.github
2 folders
·
3 files
at
master
Gaëtan Gilbert
·
Github CI remove deprecated `dune-cache`
·
3w ago
16a7fd15
ISSUE_TEMPLATE
Rocqify the issue template a little bit more.
1y ago
workflows
Github CI remove deprecated `dune-cache`
3w ago
CODEOWNERS
Add CODEOWNERS entry for ssrrewrite
7mo ago
PULL_REQUEST_TEMPLATE.md
[coqbot] Adapt to https://github.com/rocq-prover/bot/pull/344
1y ago
SUPPORT.md
Update links and descriptions of Rocq forums.
1y ago
