Is it known that subject reduction in Coq is broken in the presence of SProp?
This one is for @Gaëtan Gilbert
Reported as https://github.com/coq/coq/issues/14015
Last updated: Dec 07 2023 at 17:01 UTC