Sign in
Join now
mlang
nandi.uk
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
mlang
/
lean-toolchain
24 B
·
1 line
at
main
Blame
nandi
·
Initial commit
·
4mo ago
1a0b9186
1
2
leanprover/lean4:stable
