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.26.0

2025-12-13 06:52:49 +00:00 d8204c9fd8 ZIP TAR.GZ

v4.25.2

2025-11-25 10:47:27 +00:00 b86e2e5824 ZIP TAR.GZ

v4.25.1

2025-11-25 10:47:18 +00:00 e82306f6ad ZIP TAR.GZ

v4.24.1

2025-11-25 10:45:14 +00:00 329484a64d ZIP TAR.GZ

v4.26.0-rc2

2025-11-21 00:22:47 +00:00 9d4ad1273f ZIP TAR.GZ

v4.26.0-rc1

2025-11-18 01:39:09 +00:00 fe21b95058 ZIP TAR.GZ

v4.25.0

2025-11-03 01:04:38 +00:00 cdd38ac511 ZIP TAR.GZ

v4.25.0-rc2

2025-10-21 22:43:19 +00:00 744f98064b ZIP TAR.GZ

v4.25.0-rc1

2025-10-20 23:55:24 +00:00 66466a7b5d ZIP TAR.GZ

v4.24.0

2025-09-22 12:15:32 +00:00 797c613eb9 ZIP TAR.GZ