max/crosslang
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
crosslang/common-lean
History
Exact
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
..
Common Add 'common-lean/' from commit 'a0b719e170f66a736093d0d1c51b9d5883471db2' 2026-05-12 02:59:14 -06:00
.gitignore Add 'common-lean/' from commit 'a0b719e170f66a736093d0d1c51b9d5883471db2' 2026-05-12 02:59:14 -06:00
Common.lean Add 'common-lean/' from commit 'a0b719e170f66a736093d0d1c51b9d5883471db2' 2026-05-12 02:59:14 -06:00
lake-manifest.json Add 'common-lean/' from commit 'a0b719e170f66a736093d0d1c51b9d5883471db2' 2026-05-12 02:59:14 -06:00
lakefile.toml Add 'common-lean/' from commit 'a0b719e170f66a736093d0d1c51b9d5883471db2' 2026-05-12 02:59:14 -06:00
lean-toolchain Add 'common-lean/' from commit 'a0b719e170f66a736093d0d1c51b9d5883471db2' 2026-05-12 02:59:14 -06:00