Code

Feature/logrel lemmas#93

Code

Merged

Ailrun merged 4 commits intomainBeluga-lang/McTT:mainfrom feature/logrel-lemmasBeluga-lang/McTT:feature/logrel-lemmasCopy head branch name to clipboardJun 3, 2024

+418-269

Commits

Commits on Jun 1, 2024

• add lemmas for weakenings

  HuStmpHrrr

  committed
  74e06ca

  Copy full SHA for 74e06ca

• working on lemmas for soundness model

  HuStmpHrrr

  committed
  7a69b03

  Copy full SHA for 7a69b03

Commits on Jun 2, 2024

• improve tactics

  HuStmpHrrr

  committed
  065179e

  Copy full SHA for 065179e

Commits on Jun 3, 2024

• Merge branch 'main' into feature/logrel-lemmas

  HuStmpHrrr

  authored
  48325c6

  Copy full SHA for 48325c6