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.29.0-rc6

2026-03-07 00:48:51 +00:00 00659f8e60 ZIP TAR.GZ

v4.29.0-rc5

2026-03-05 02:06:39 +00:00 b83c0eefc3 ZIP TAR.GZ

v4.29.0-rc4

2026-03-04 02:30:32 +00:00 95583d74bd ZIP TAR.GZ

v4.29.0-rc3

2026-03-01 11:47:04 +00:00 5d86aa4032 ZIP TAR.GZ

v4.29.0-rc2

2026-02-24 00:20:30 +00:00 83e54b65b6 ZIP TAR.GZ

v4.29.0-rc1

2026-02-17 12:20:09 +00:00 985f350dcd ZIP TAR.GZ

v4.28.0

2026-01-26 07:11:39 +00:00 7e01a1bf5c ZIP TAR.GZ

v4.28.0-rc1

2026-01-26 00:40:44 +00:00 3b0f286219 ZIP TAR.GZ

v4.27.0

2026-01-20 14:00:20 +00:00 db93fe1608 ZIP TAR.GZ

v4.27.0-rc1

2025-12-14 09:40:10 +00:00 2fcce7258e ZIP TAR.GZ