greg/LeanDoom
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
b5f75327db0a9a8da9c1439108b03144fc7202be
LeanDoom/lean-toolchain
Oliver Dressler 4e0afdf5f5 [chore] Bump to 4.23.0
2025-09-15 10:52:25 +02:00

1 line
24 B
Plaintext
Raw Blame History

leanprover/lean4:v4.23.0
Reference in New Issue View Git Blame Copy Permalink