mathlib (Q52541): Difference between revisions

From MaRDI portal
← Older editNewer edit →
‎Created claim: source code repository (P339): https://github.com/leanprover-community/mathlib, #quickstatements; #temporary_batch_1711029738451
Swh import (talk | contribs)
Bots
38,380 edits
SWHID from Software Heritage
Property / Software Heritage ID
 
Property / Software Heritage ID: swh:1:snp:6ac2bad6d01a136c67b3204cd17f43da668a93ac / rank
 
Normal rank
Property / Software Heritage ID: swh:1:snp:6ac2bad6d01a136c67b3204cd17f43da668a93ac / qualifier
 
Property / Software Heritage ID: swh:1:snp:6ac2bad6d01a136c67b3204cd17f43da668a93ac / qualifier
 
point in time: 20 March 2024
Timestamp+2024-03-20T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0

Revision as of 02:33, 22 March 2024

No description defined
Language Label Description Also known as
English
mathlib
No description defined

    Statements

    Identifiers

    swMATH work ID
    36839
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q52541&oldid=33149812"
    Powered by MediaWiki