phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
b8cea5b0f4ceef01ec6b6aeec2372d597cf86f6b
lean4game/server/lean-toolchain
T
Alexander BentkampandPatrick Massot PatrickMassot@users.noreply.github.com 7563730292 init 
initalize repo

Co-authored-by: Patrick Massot PatrickMassot@users.noreply.github.com
2022-10-17 15:12:26 +02:00

2 lines
36 B
Plaintext
Raw Blame History

leanprover/lean4:nightly-2022-09-23
Reference in New Issue View Git Blame Copy Permalink