max/crosslang
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
crosslang/common-lean/lean-toolchain
Maximus Gorog 4bf2dd38cd Add 'common-lean/' from commit 'a0b719e170f66a736093d0d1c51b9d5883471db2' 
git-subtree-dir: common-lean
git-subtree-mainline: bd2e14214d
git-subtree-split: a0b719e170
2026-05-12 02:59:14 -06:00

1 line
29 B
Text
Raw Permalink Blame History

leanprover/lean4:v4.30.0-rc2
Reference in a new issue View git blame Copy permalink