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