Strict Propositions #357
Description
They will be available in Coq and agda, and if I understand things well they are consistent with CTT.
Should we want them in redtt?
rocq-prover/rfcs#37
{{ message }}
They will be available in Coq and agda, and if I understand things well they are consistent with CTT.
Should we want them in redtt?
rocq-prover/rfcs#37