Information for "Archive:Proof assistant"

Basic information

Display title	Archive:Proof assistant
Default sort key	Proof assistant
Page length (in bytes)	21,111
Namespace ID	110
Namespace	Archive
Page ID	15126
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	wikipedia>Jerryobject
Date of page creation	01:38, 30 August 2025
Latest editor	Waza (talk \| contribs)
Date of latest edit	21:33, 28 October 2026
Total number of edits	51
Total number of distinct authors	34
Recent number of edits (within past 90 days)	8
Recent number of distinct authors	7

Transcluded templates (26)	Pages included on this page: Template:Annotated link (view source) Template:ArXiv (view source) Template:Citation (view source) Template:Citation/core (view source) Template:Cite arXiv (view source) Template:Cite book (view source) Template:Cite journal (view source) Template:Cite web (view source) Template:Cn (view source) Template:Distinguish (view source) Template:External links (view source) Template:GBurl (view source) Template:Harvid (view source) Template:Harvnb (view source) Template:Hatnote group (view source) Template:Link (view source) Template:Mathematical software (view source) Template:N/a (view source) Template:No (view source) Template:Not yet (view source) Template:Partial (view source) Template:Reflist (view source) Template:See also (view source) Template:Short description (view source) Template:Unknown (view source) Template:Yes (view source)