crosslang/tsm-lean/lakefile.toml at master - max/crosslang - maxgit: wireguard access, git repository.

max/crosslang

Maximus Gorog bd2e14214d Add 'tsm-lean/' from commit '2e9061abead6f2daa464b39a79c17a949db30785'

git-subtree-dir: tsm-lean
git-subtree-mainline: 6592cd058d
git-subtree-split: 2e9061abea

2026-05-12 02:59:14 -06:00

10 lines

143 B

TOML

Raw Permalink Blame History

 name = "tsm-lean"
 version = "0.1.0"
 defaultTargets = ["tsm-lean"]
 [[lean_lib]]
 name = "TsmLean"
 [[lean_exe]]
 name = "tsm-lean"
 root = "Main"