Jon Eugster
|
7706f539e9
|
bump v4.23.0 (#113)
|
2025-09-27 10:17:47 +02:00 |
|
Jon Eugster
|
3558f5bfb6
|
bump v4.22.0
|
2025-08-30 00:44:07 +02:00 |
|
Jon Eugster
|
3d9d4f1d54
|
14 month time-skip
|
2025-08-06 00:28:59 +02:00 |
|
Jon Eugster
|
2dde9482d2
|
bump to v4.7.0
|
2024-04-10 17:07:22 +02:00 |
|
Jon Eugster
|
381a729f3e
|
bump to v4.6.0
|
2024-02-29 17:19:01 +01:00 |
|
Jon Eugster
|
30232f30e2
|
bump to v4.5.0
|
2024-02-20 14:54:21 +01:00 |
|
Jon Eugster
|
24ac80d224
|
bump to v4.4.0
|
2024-01-12 13:43:29 +01:00 |
|
Jon Eugster
|
dbd5364a8d
|
bump to v4.3.0
|
2023-12-08 01:33:50 +01:00 |
|
joneugster
|
87ecc6bac2
|
bump to v4.3.0-rc2
|
2023-11-28 11:44:52 +01:00 |
|
joneugster
|
a568458fb2
|
update to v4.2.0
|
2023-11-22 13:15:18 +01:00 |
|
joneugster
|
959c3f01c7
|
update lean version
|
2023-10-18 14:00:24 +02:00 |
|
Jon Eugster
|
8c61ebab70
|
bump mathlib
|
2023-09-10 17:10:28 +02:00 |
|
Jon Eugster
|
7ecd27ead9
|
bump mathlib
|
2023-08-31 13:47:01 +02:00 |
|
Jon Eugster
|
836f8f6078
|
import Mathlib.Tactic everywhere
|
2023-08-04 17:14:49 +02:00 |
|
Jon Eugster
|
4687e0bd7c
|
add mathlib again
|
2023-07-07 17:44:27 +02:00 |
|
Jon Eugster
|
c330bee2e2
|
initial commit
|
2023-04-25 18:37:27 +02:00 |
|