Code

Theory aliases#685

Code

Open

strub wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom theory-aliasEasyCrypt/easycrypt:theory-aliasCopy head branch name to clipboard

+142-22

Commits

Commits on Jan 14, 2025

• Theory aliases

  strub

  committed
  24bad43

  Copy full SHA for 24bad43

Commits on Jan 15, 2025

• pretty-printing of aliases

  strub

  committed
  4ad225f

  Copy full SHA for 4ad225f