Code

Port consistency#237

Code

Merged

Ailrun merged 3 commits intoext/prop-eqBeluga-lang/McTT:ext/prop-eqfrom pr-port-consistencyBeluga-lang/McTT:pr-port-consistencyCopy head branch name to clipboardOct 2, 2024

+229-16

Commits

Commits on Oct 2, 2024

• Prove more consequences

  Ailrun

  committed
  938b79f

• Merge pull request #236 from Beluga-lang/pr-consistency

  Show description for 2753620
  Ailrun

  authored
  2753620

• Merge remote-tracking branch 'Beluga-lang/main' into pr-port-consistency

  Ailrun

  committed
  bd5d609