Code

TL formal model#52

Code

Merged

Brat-vseznamus merged 1 commit intomasterVKCOM/tl:masterfrom fvikhnin/tlgen/general/add-tl-modelVKCOM/tl:fvikhnin/tlgen/general/add-tl-modelCopy head branch name to clipboardNov 13, 2024

+268

Commits

Commits on Nov 13, 2024

• add formal model to tl on Arend

  Brat-vseznamus

  committed
  c65f013

  Copy full SHA for c65f013