# nLab Prop

## Idea

In type theory, $Prop$ 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)