Using mathlib4 as a dependency

Li Xuanji edited this page 2025-05-17 16:55:33 -04:00

Page revisions

12 Commits

Author	SHA1	Message	Date
Li Xuanji	f007f42a07	Updated Using mathlib4 as a dependency (markdown)	2025-05-17 16:55:33 -04:00
Kim Morrison	90d792e0a5	Updated Using mathlib4 as a dependency (markdown)	2024-12-03 14:23:51 +11:00
Violeta Hernández	49d8a50649	We've got way more than 2k files in Mathlib nowadays.	2024-09-07 22:12:21 -06:00
Ruben Van de Velde	17cc8bd531	Updated Using mathlib4 as a dependency (markdown)	2024-08-21 09:37:07 +02:00
Floris van Doorn	c4265ac8b3	Updated Using mathlib4 as a dependency (markdown)	2024-04-25 18:37:34 +02:00
Moritz Firsching	198feb9327	remove `lake exe cache get`	2024-01-04 17:31:08 +01:00
Ruben Van de Velde	4b590e47b1	Updated Using mathlib4 as a dependency (markdown)	2023-11-06 15:22:08 +01:00
Moritz Firsching	75b4dc51ad	make the curl command compatible with windows (only tested that it still works on linux)	2023-10-14 21:55:22 +02:00
Sebastian Ullrich	759df71c48	Updated Using mathlib4 as a dependency (markdown)	2023-08-18 13:55:43 +02:00
Scott Morrison	c6ac624f2b	Updated Using mathlib4 as a dependency (markdown)	2023-08-10 21:45:34 +10:00
Scott Morrison	712f7e92c5	Clarify instructions.	2023-06-27 08:15:56 +10:00
Scott Morrison	3c32389873	Moving content out of the README	2023-06-27 08:11:51 +10:00