package coq-relation-extraction
Functions extraction from inductive relations
Install
Dune Dependency
Authors
Maintainers
Sources
v8.6.0.tar.gz
md5=05667e345b07b829ce84556cb476c35f
Description
This plugin introduces a new set of extraction commands that generates functional code form inductive specifications.
On This Page