This repository was archived by the owner on Oct 14, 2023. It is now read-only.

Compiling mutually inductive declarations

Jump to bottom

Daniel Selsam edited this page Aug 12, 2016 · 3 revisions

Dealing with inhomogeneous indices