Revision history of "mathlib" (Q52541)

6 December 2024

• curprev 09:5909:59, 6 December 2024 Tconrad talk contribs 3,241 bytes +236 ‎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.

22 March 2024

• curprev 02:3302:33, 22 March 2024 Swh import talk contribs 3,005 bytes +1,107 SWHID from Software Heritage

21 March 2024

• curprev 15:2915:29, 21 March 2024 Schubotz talk contribs 1,898 bytes +384 ‎Created claim: source code repository (P339): https://github.com/leanprover-community/mathlib, #quickstatements; #temporary_batch_1711029738451 Tag: QuickStatements [1.0.4]

5 March 2024

• curprev 20:5920:59, 5 March 2024 Import240305080343 talk contribs 1,514 bytes +94 Added link to MaRDI item.

4 March 2024

• curprev 07:1207:12, 4 March 2024 Import240304070356 talk contribs 1,420 bytes +431 Set profile property.

17 February 2024

• curprev 12:4112:41, 17 February 2024 Schubotz talk contribs 989 bytes +429 ‎Created claim: described by source (P286): Maintaining a library of formal mathematics (Q2219408), #quickstatements; #temporary_batch_1708169466989 Tag: QuickStatements [1.0.4]

4 January 2022

• curprev 23:2223:22, 4 January 2022 Admin talk contribs 560 bytes +560 ‎Created a new Item: #quickstatements; #temporary_batch_1641332237170 Tag: QuickStatements [1.0.2]