crosslang/tsm-lean/TsmLean.lean 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

303 B

Text

Raw Permalink Blame History

 import TsmLean.Core.Syntax
 import TsmLean.Core.Semantics
 import TsmLean.Core.Determinism
 import TsmLean.Core.Eval
 import TsmLean.Core.Types
 import TsmLean.Core.TypeSoundness
 import TsmLean.Core.Preservation
 import TsmLean.Compile.Source
 import TsmLean.Compile.Compile
 import TsmLean.Compile.Correctness