summaryrefslogtreecommitdiff
path: root/tests/lean/lean-toolchain
blob: 9ad304042c24216c10c3e2ac2503112214c4733a (plain)
1
leanprover/lean4:v4.7.0