Code

Change isomorphism between per_elem#81

Code

Merged

HuStmpHrrr merged 10 commits intomainBeluga-lang/McTT:mainfrom pr-use-different-isoBeluga-lang/McTT:pr-use-different-isoCopy head branch name to clipboardMay 17, 2024

+736-334

Commits

Commits on May 15, 2024

• [WIP] Change isomorphism between per_elem

  Ailrun

  committed
  f461cb2

  Copy full SHA for f461cb2

• Change minor thing

  Ailrun

  committed
  a1cbd61

  Copy full SHA for a1cbd61

Commits on May 16, 2024

• Finish change of basic lemmas

  Ailrun

  committed
  3e8f170

  Copy full SHA for 3e8f170

• Restore Realizability

  Ailrun

  committed
  e1d97ff

  Copy full SHA for e1d97ff

Commits on May 17, 2024

• Improve proofs

  Ailrun

  committed
  7690e18

  Copy full SHA for 7690e18

• Restore all proofs

  Ailrun

  committed
  f733215

  Copy full SHA for f733215

• Fix missing one as well

  Ailrun

  committed
  73754e1

  Copy full SHA for 73754e1

• Fix some proofs

  Ailrun

  committed
  1054596

  Copy full SHA for 1054596

• Add a pi case

  Ailrun

  committed
  542529f

  Copy full SHA for 542529f

• Add one more case

  Ailrun

  committed
  476efa9

  Copy full SHA for 476efa9