nLab
Prop

Idea

In type theory, PropProp denotes the type of propositions. See there for more details.

Revised on November 20, 2013 07:46:09 by Anonymous Coward (84.147.222.165)