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
Version history of
engine/
polyFlags.ml
December 2025
coqbot-app[bot]
bb0e90f9
Copied
Failed
Copy SHA
Merge PR #21419: Introduce PolyFlags to gather flags for polymorphic
defs
defs
Copy SHA
Browse repository
committed
10mo ago
Matthieu Sozeau
e5554456
Copied
Failed
Copy SHA
Introduce PolyFlags to gather flags for polymorphic
defs
defs
Copy SHA
Browse repository
committed
10mo ago
