phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
bffc9fcefb33de984fee05c7c5f2db437e512718
lean4game/server/lean-toolchain
T
Jon Eugster bffc9fcefb bump to v4.4.0-rc1
2023-12-15 16:10:12 +01:00

2 lines
28 B
Plaintext
Raw Blame History

leanprover/lean4:v4.4.0-rc1
Reference in New Issue View Git Blame Copy Permalink