Stefan Kebekus
|
4cc853a5d9
|
Working…
|
2024-12-19 16:10:51 +01:00 |
|
Stefan Kebekus
|
e5b49993b7
|
Update specialFunctions_CircleIntegral_affine.lean
|
2024-12-18 13:07:36 +01:00 |
|
Stefan Kebekus
|
734ea1a8f4
|
Working…
|
2024-12-05 12:00:49 +01:00 |
|
Stefan Kebekus
|
5e244a732a
|
Working…
|
2024-12-05 07:12:32 +01:00 |
|
Stefan Kebekus
|
eec4cd1ffa
|
Update mathlib
|
2024-11-29 09:55:22 +01:00 |
|
Stefan Kebekus
|
47e1bfe35e
|
working
|
2024-09-11 11:06:45 +02:00 |
|
Stefan Kebekus
|
6651c0852a
|
Working…
|
2024-09-11 10:24:45 +02:00 |
|
Stefan Kebekus
|
2ec1335521
|
Update Mathlib
|
2024-08-23 09:26:58 +02:00 |
|
Stefan Kebekus
|
371b90c1c6
|
working…
|
2024-08-22 13:09:03 +02:00 |
|
Stefan Kebekus
|
db9ce54bcf
|
Update specialFunctions_CircleIntegral_affine.lean
|
2024-08-22 08:47:20 +02:00 |
|
Stefan Kebekus
|
77dea4115e
|
working
|
2024-08-22 08:19:01 +02:00 |
|
Stefan Kebekus
|
44dc57ed39
|
working…
|
2024-08-15 16:00:25 +02:00 |
|
Stefan Kebekus
|
23dfdd3716
|
working…
|
2024-08-15 12:10:18 +02:00 |
|
Stefan Kebekus
|
eb58a8df04
|
Splitting off files
|
2024-08-15 08:27:00 +02:00 |
|
Stefan Kebekus
|
c124cccb01
|
Splitting off files
|
2024-08-15 08:26:55 +02:00 |
|