Code

Prove PER for per_ctx_env#68

Code

Merged

Ailrun merged 3 commits intomainBeluga-lang/McTT:mainfrom pr-per-ctx-envBeluga-lang/McTT:pr-per-ctx-envCopy head branch name to clipboardMay 9, 2024

+263-184

Commits

Commits on May 8, 2024

• Move basic PER lemmas into a better-named module

  Ailrun

  committed
  f008e35

• Prove PER of per_ctx_env

  Ailrun

  committed
  1a508ac

Commits on May 9, 2024

• Remove "basic lemmas" module

  Ailrun

  committed
  26c85f8