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.24.0-rc1

2025-09-15 04:54:32 +00:00 919e297292 ZIP TAR.GZ

v4.23.0

2025-09-05 19:22:31 +00:00 50aaf682e9 ZIP TAR.GZ

v4.23.0-rc2

2025-08-15 00:56:31 +00:00 ad1a017949 ZIP TAR.GZ

v4.23.0-rc1

2025-08-13 22:46:20 +00:00 73974cf943 ZIP TAR.GZ

v4.22.0

2025-08-05 12:57:12 +00:00 ba2cbbf09d ZIP TAR.GZ

v4.22.0-rc4

2025-07-13 10:48:03 +00:00 30ceb3260d ZIP TAR.GZ

v4.22.0-rc3

2025-07-04 01:18:01 +00:00 7c3ca70e29 ZIP TAR.GZ

v4.22.0-rc2

2025-06-30 20:06:31 +00:00 6a60de2ac7 ZIP TAR.GZ

v4.22.0-rc1

2025-06-30 07:48:01 +00:00 7de2dedb77 ZIP TAR.GZ

v4.21.0

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