Lean 4 survival guide for Lean 3 users

Martin Dvořák edited this page 2024-01-29 10:53:51 +01:00

Page revisions

50 Commits

Author	SHA1	Message	Date
Martin Dvořák	614dc7dece	link not a bullet	2024-01-29 10:53:51 +01:00
Filippo A. E. Nuccio	65c2f7e14d	Added a point about defining terms of structures defined with Expand	2023-11-02 11:16:51 +01:00
Martin Dvořák	2f711ecc00	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-10-05 09:25:06 +02:00
Martin Dvořák	ccddded2a8	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-10-05 09:21:14 +02:00
Floris van Doorn	ff42a4f57c	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-06-28 16:44:43 +02:00
Markus Himmel	8507062593	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-06-03 07:57:28 +02:00
Patrick Massot	c94180b5b8	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-29 22:17:21 +02:00
damiano	87e99750bf	Added comma between `parent`s of structures.	2023-05-27 10:00:29 +02:00
Floris van Doorn	c3ae4bbf4b	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-26 16:58:14 -06:00
Floris van Doorn	657fd8583f	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-26 16:50:15 -06:00
samvang	4ec8d9005e	about cache	2023-05-26 11:35:11 -06:00
Moritz Doll	4705d4f574	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 23:40:44 -06:00
Floris van Doorn	a800979e53	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 18:11:09 -06:00
Floris van Doorn	acb68949c6	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 18:07:11 -06:00
Moritz Doll	a6b054b656	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:45:54 -06:00
Floris van Doorn	f4b3071c9d	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:38:31 -06:00
Floris van Doorn	4dce4a5834	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:37:57 -06:00
Floris van Doorn	af8d085f39	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:37:46 -06:00
Floris van Doorn	0be82533d4	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:34:10 -06:00
Floris van Doorn	9cd6197c39	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:33:45 -06:00
Floris van Doorn	34afc45c34	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:33:26 -06:00
Floris van Doorn	e545bcc53a	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:32:24 -06:00
Floris van Doorn	e532debf26	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:31:13 -06:00
Floris van Doorn	fc4db2ba1b	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:28:50 -06:00
Floris van Doorn	6cba5e5109	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:25:43 -06:00
Floris van Doorn	ac357545e3	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:23:14 -06:00
Floris van Doorn	9cf76be5c3	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:18:49 -06:00
Floris van Doorn	b537128bf6	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:18:25 -06:00
Floris van Doorn	d5dca5e41a	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:14:00 -06:00
Floris van Doorn	c30ecdfb94	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:08:18 -06:00
Floris van Doorn	d711599aa8	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:06:57 -06:00
Floris van Doorn	334c073c55	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:05:54 -06:00
Floris van Doorn	9d4c9806f0	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:03:33 -06:00
Floris van Doorn	6ed142c34f	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:01:24 -06:00
Floris van Doorn	0ed51b5d0b	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 17:00:28 -06:00
Floris van Doorn	07dfc1fea5	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:56:10 -06:00
Floris van Doorn	a8c5dea15b	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:54:15 -06:00
Floris van Doorn	eca229c742	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:51:46 -06:00
Floris van Doorn	c6d5592bcc	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:50:51 -06:00
Floris van Doorn	a167512eb6	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:45:43 -06:00
Floris van Doorn	68b65047ce	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:43:32 -06:00
Floris van Doorn	d236457736	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:42:24 -06:00
Riccardo Brasca	45cbef15ed	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:41:18 -06:00
Floris van Doorn	7dd0eb4fa6	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:38:00 -06:00
Floris van Doorn	a8f3a19216	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:36:25 -06:00
Floris van Doorn	b268a25f25	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:26:05 -06:00
Floris van Doorn	a8451ba818	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:24:51 -06:00
Floris van Doorn	17d6c0853d	cheatsheet	2023-05-25 16:24:41 -06:00
Riccardo Brasca	33f89df8ae	Updated Lean 4 survival guide for Lean 3 users (markdown)	2023-05-25 16:24:15 -06:00
Floris van Doorn	3e4eaa16b8	start	2023-05-25 16:23:01 -06:00