greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
NNG/lean-toolchain
Jon Eugster 7706f539e9 bump v4.23.0 (#113)
2025-09-27 10:17:47 +02:00

2 lines
25 B
Plaintext
Raw Permalink Blame History

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