mathlib (Q52541): Difference between revisions

From MaRDI portal
Created claim: source code repository (P339): https://github.com/leanprover-community/mathlib, #quickstatements; #temporary_batch_1711029738451
Added [en] description: Jump to:navigation, searchThe Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant.
 
(One intermediate revision by one other user not shown)
description / endescription / en
 
Jump to:navigation, searchThe Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant.
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

Latest revision as of 09:59, 6 December 2024

Jump to:navigation, searchThe Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant.
Language Label Description Also known as
English
mathlib
Jump to:navigation, searchThe Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant.

    Statements

    Identifiers