Mathlib3 Synchronisation

Eric Wieser edited this page 2023-05-19 18:42:28 +01:00

Page revisions

10 Commits

Author	SHA1	Message	Date
Eric Wieser	90069b6d17	Updated Mathlib3 Synchronisation (markdown)	2023-05-19 18:42:28 +01:00
Eric Wieser	fdbc19489d	Better image	2023-05-19 18:41:05 +01:00
Eric Wieser	cdb2b83d60	Updated Mathlib3 Synchronisation (markdown)	2023-05-19 18:36:59 +01:00
Eric Wieser	32b8de8227	Updated Mathlib3 Synchronisation (markdown)	2023-05-19 18:36:37 +01:00
Eric Wieser	9c0956609a	Updated Mathlib3 Synchronisation (markdown)	2023-05-19 18:36:06 +01:00
Eric Wieser	a25490e981	Updated Mathlib3 Synchronisation (markdown)	2023-05-19 18:35:22 +01:00
Eric Rodriguez	9b9a67104f	Updated Mathlib3 Synchronisation (markdown)	2023-04-25 05:21:17 -04:00
Jon Eugster	c908dae0cd	Updated Mathlib3 Synchronisation (markdown)	2023-03-29 09:57:10 +02:00
Jon Eugster	5398943bd6	Updated Mathlib3 Synchronisation (markdown)	2023-03-29 09:41:28 +02:00
Jon Eugster	8e2f6899f0	Created Mathlib3-Synchronisation (markdown)	2023-03-29 09:30:58 +02:00