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
/
plugins
/
derive
5 files
at
master
coqbot-app[bot]
·
Merge PR #21987: Keep track of which variables are section variables and use this info to fix bugs
·
5mo ago
eebacb3b
derive.ml
Keep track of variable status (secvar or not) in named contexts
5mo ago
derive.mli
Add source location for derive
1y ago
dune
Remove compat coq-core libraries (not executables)
5mo ago
g_derive.mlg
Don't use grammar rule deletion to implement unfreeze
1y ago
g_derive.mli
Enable warning 70 (missing mli), add mli files
3y ago
