nLab
Prop
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
Idea
In
type theory
,
Prop
denotes the
type of propositions
. See there for more details.
Relaed concepts
Type
Created on October 5, 2012 10:46:39 by
Urs Schreiber
(82.169.65.155)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
pure type system
,
type of types