sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

0 Releases 120 Tags

RSS Feed

120 Tags

v4.21.0-rc3

2025-06-04 07:38:29 +00:00 6741444a63 ZIP TAR.GZ

v4.20.1

2025-06-04 00:59:53 +00:00 b02228b03f ZIP TAR.GZ

v4.20.1-rc1

2025-06-04 00:59:53 +00:00 b02228b03f ZIP TAR.GZ

v4.21.0-rc2

2025-06-03 12:23:12 +00:00 89924fa0cf ZIP TAR.GZ

v4.21.0-rc1

2025-06-02 11:53:39 +00:00 01686800b0 ZIP TAR.GZ

v4.20.0

2025-06-02 11:46:52 +00:00 77cfc4d1a4 ZIP TAR.GZ

v4.20.0-rc5

2025-05-07 10:26:21 +00:00 81b85203c9 ZIP TAR.GZ

v4.20.0-rc4

2025-05-06 09:12:17 +00:00 e65f5f118a ZIP TAR.GZ

v4.20.0-rc3

2025-05-05 19:24:55 +00:00 2525330ba9 ZIP TAR.GZ

v4.20.0-rc2

2025-05-02 19:30:48 +00:00 fcb2f44cd3 ZIP TAR.GZ