Support export locality in coq.TC.declare-instance.#715
Merged
gares merged 1 commit intoLPCIC:masterfrom Janno:janno/declare-instance-export-upstreamNov 22, 2024
Commits
Commits on Nov 21, 2024
- committed
Jan-Oliver Kaiser