[derive] provide a link to mathcomp · Issue #80 · LPCIC/coq-elpi · GitHub

[derive] provide a link to mathcomp #80

Open

Milestone

opened

add a step to elpi.derive registering the CS for eqType (requires coq-mathcomp-ssreflect)

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

2.0No due date

Relationships

None yet

Development

No branches or pull requests