package coq-nfix
Nfix: a Coq extension for fixpoints on nested inductives
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=3eaeaa04374d36b8869c716c258e99a4
Description
This plugin provides a syntactic extension that allows one to write mutual fixpoints over nested inductives.
Tags
keyword: mutual fixpoint functions category: Miscellaneous/Coq ExtensionsPublished: 19 Oct 2020
On This Page