Display title | Lean (proof assistant) |
Default sort key | Lean (proof assistant) |
Page length (in bytes) | 14,773 |
Namespace ID | 0 |
Page ID | 62889984 |
Page content language | en - English |
Page content model | wikitext |
Indexing by robots | Allowed |
Number of page watchers | 52 |
Number of page watchers who visited in the last 30 days | 13 |
Number of redirects to this page | 5 |
Counted as a content page | Yes |
Wikidata item ID | Q6509476 |
Local description | Proof assistant and programming language |
Central description | software for interactive and automated theorem proving |
Page views in the past 30 days | |
Edit | Allow all users (no expiry set) |
Move | Allow all users (no expiry set) |
Page creator | Mdnahas (talk | contribs) |
Date of page creation | 21:27, 21 January 2020 |
Latest editor | RedrickSchu (talk | contribs) |
Date of latest edit | 18:37, 10 October 2024 |
Total number of edits | 117 |
Recent number of edits (within past 30 days) | 9 |
Recent number of distinct authors | 6 |
Hidden categories (5) | This page is a member of 5 hidden categories (help):
|
Transcluded templates (90) | Pages transcluded onto the current version of this page (help):
|
Wikidata entities used in this page | - Lean
- Sitelink
- Title
- Description: en
|
Duplicate IDs | 1 |
Background color inline style rule exists without a corresponding text color | 1 |