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

2025-05-01 17:33:32 +00:00 8185b79b75 ZIP TAR.GZ

v4.19.0

2025-05-01 03:13:10 +00:00 6caaee842e ZIP TAR.GZ

v4.19.0-rc3

2025-04-10 12:08:31 +00:00 045d07d234 ZIP TAR.GZ

v4.19.0-rc2

2025-04-03 00:01:05 +00:00 fafd381c90 ZIP TAR.GZ

v4.19.0-rc1

2025-04-02 05:21:11 +00:00 359abc8726 ZIP TAR.GZ

v4.18.0

2025-03-29 22:04:32 +00:00 11ccbced79 ZIP TAR.GZ

v4.18.0-rc1

2025-03-03 09:41:15 +00:00 69a1d0485e ZIP TAR.GZ

v4.17.0

2025-03-03 06:08:37 +00:00 306f361165 ZIP TAR.GZ

v4.17.0-rc1

2025-02-03 10:46:58 +00:00 93d4ae6635 ZIP TAR.GZ

v4.16.0-rc2

2025-01-13 21:58:59 +00:00 128a1e6b0a ZIP TAR.GZ