Information for "Talk:Intuitionistic type theory"

Basic information

Display title	Talk:Intuitionistic type theory
Default sort key	Intuitionistic type theory
Page length (in bytes)	12,679
Namespace ID	1
Namespace	Talk
Page ID	1246293
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Number of subpages of this page	0 (0 redirects; 0 non-redirects)

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>Cgibbard
Date of page creation	16:32, 8 November 2024
Latest editor	imported>Cgibbard
Date of latest edit	16:32, 8 November 2024
Total number of edits	1
Total number of distinct authors	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (19)	Pages transcluded onto the current version of this page (help): Template:Comma separated entries (view source) Template:Find sources (view source) Template:Human readable duration (view source) Template:LASTYEAR (view source) Template:Pagetype (view source) Template:Strong (view source) Template:Talk header (view source) Template:Technical (view source) Template:Th/abp (view source) Template:Tooltip (view source) Template:Void (view source) Template:WikiProject banner shell (view source) Template:Yearly archive list (view source) Template:Yesno-no (view source) Template:Yesno-yes (view source) Module:Check for deprecated parameters (view source) Module:Check for unknown parameters (view source) Module:String (view source) Module:Unsubst (view source)