# nLab Prop

## Idea

In type theory, $\mathrm{Prop}$ denotes the type of propositions. See there for more details.

## Relaed concepts

Created on October 5, 2012 10:46:39 by Urs Schreiber (82.169.65.155)