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