Search
❯
13 May 20261 min read
Introduce a type of strict propositional elements. We don’t care about the proof of strict prop.