Stefan Kebekus
|
b3f99c37f2
|
Update Basic.lean
Lean Action CI / build (push) Has been cancelled
|
2025-10-27 15:27:06 +01:00 |
|
Stefan Kebekus
|
9a25034577
|
Update Basic.lean
Lean Action CI / build (push) Has been cancelled
|
2025-10-27 07:04:03 +01:00 |
|
Stefan Kebekus
|
7a04938669
|
Update Basic.lean
Lean Action CI / build (push) Has been cancelled
|
2025-10-26 06:38:18 +01:00 |
|
Stefan Kebekus
|
20a6e02774
|
Cleanup
Lean Action CI / build (push) Has been cancelled
|
2025-10-25 07:19:27 +02:00 |
|
Stefan Kebekus
|
7eb9cf9772
|
Working…
Lean Action CI / build (push) Has been cancelled
Create Release / Add Lean release tag (push) Has been cancelled
|
2025-10-25 07:07:57 +02:00 |
|
Lean 4 VS Code Extension
|
d1fc1b634f
|
Initial commit
Create Release / Add Lean release tag (push) Has been cancelled
Lean Action CI / build (push) Has been cancelled
|
2025-10-25 06:58:12 +02:00 |
|