Code

Update the standard library for Lean#423

Code

Merged

sonmarcho merged 5 commits intomainAeneasVerif/aeneas:mainfrom son/leanAeneasVerif/aeneas:son/leanCopy head branch name to clipboardJan 21, 2025

+202-62

Commits

Commits on Jan 17, 2025

• Make some scalar operations non fallible

  sonmarcho

  committed
  8fca6a3

  Copy full SHA for 8fca6a3

• Fix a parenthesizing issue with the extraction of binops

  sonmarcho

  committed
  dcd199c

  Copy full SHA for dcd199c

• Add definitions to the standard library and fix a small issue with the generated names

  sonmarcho

  committed
  7c81690

  Copy full SHA for 7c81690

Commits on Jan 21, 2025

• Make minor modifications

  sonmarcho

  committed
  f63fcc2

  Copy full SHA for f63fcc2

• Merge remote-tracking branch 'origin/main' into son/lean

  sonmarcho

  committed
  122e726

  Copy full SHA for 122e726