Code

Update the gcm_init_v8 proof#245

Code

Merged

shigoel merged 4 commits intoleanprover:mainleanprover/LNSym:mainfrom pennyannn:yppe/gcm_init_v8pennyannn/LNSym-public:yppe/gcm_init_v8Copy head branch name to clipboardNov 12, 2024

+10-35

Commits

Commits on Nov 5, 2024

• Experimenting with gcm_init_v8 in CI

  pennyannn

  committed
  15204d8

  Copy full SHA for 15204d8

Commits on Nov 7, 2024

• Trying out

  pennyannn

  committed
  a1297bd

  Copy full SHA for a1297bd

• Remove unnecessary theorem

  pennyannn

  committed
  ceca493

  Copy full SHA for ceca493

• Reduce maxRecDepth

  pennyannn

  committed
  f507540

  Copy full SHA for f507540