Skip to content

Adapt to coq/coq#19362 (reduction effects take locality)#22

Merged
ppedrot merged 1 commit intocoq-community:masterfrom SkySkimmer:obj-with-localityJul 17, 2024

Commits

Commits on Jul 12, 2024