Skip to content
Snippets Groups Projects
Commit 11113899 authored by Ralf Jung's avatar Ralf Jung
Browse files

coq-lint: enforce TC opaque having locality annotations

parent b8561191
No related branches found
No related tags found
1 merge request!473Take advantage of new Coq features in Coq 8.15
Pipeline #81687 passed