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
/
doc
/
corelib
5 files
at
master
Pierre Roux
·
[ssreflect] Use tactic name 'rw' instead of 'rewrite'
·
7mo ago
3d24d7ad
dune
Corelib use rocqdoc `@@TITLE@@` for per-file titles
1y ago
hidden-files
Update hidden files
1y ago
index-list.html.template
[ssreflect] Use tactic name 'rw' instead of 'rewrite'
7mo ago
Library.tex
rename package coq-core -> rocq-runtime
1y ago
make-library-index
Update hidden files
1y ago
