Code

Add semantics for prop eq#254

Code

Merged

Ailrun merged 4 commits intoext/prop-eqBeluga-lang/McTT:ext/prop-eqfrom pr-prop-eq-semanticBeluga-lang/McTT:pr-prop-eq-semanticCopy head branch name to clipboardOct 20, 2024

Commits

Commits on Oct 20, 2024

• Restore Semantics

  Ailrun

  committed
  2085036

  Copy full SHA for 2085036

• Add Completeness placeholders

  Ailrun

  committed
  ee4543a

  Copy full SHA for ee4543a

• Add missing file

  Ailrun

  committed
  2d3f45a

  Copy full SHA for 2d3f45a

• Reflect comments

  Ailrun

  committed
  2e8375c

  Copy full SHA for 2e8375c