Code

Lean: Fixing struct of enums#929

Code

Merged

bacam merged 2 commits intorems-project:sail2rems-project/sail:sail2from lfrenot:lean/struct_of_enumlfrenot/sail:lean/struct_of_enumCopy head branch name to clipboardJan 31, 2025

+90-51

Commits

Commits on Jan 30, 2025

• Fixing struct of enums

  lfrenot

  committed
  ba2951b

  Copy full SHA for ba2951b

Commits on Jan 31, 2025

• Fixing tests

  lfrenot

  committed
  d3a4410

  Copy full SHA for d3a4410