extraction to an (OCaml) plugin for Coq #4

Open

Labels

opened

on Mar 22, 2017

First it needs to be done for Template-coq

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests