Lean

Workflow runs for Lean

• chore: add hexagon paper to formalization.yaml (#4)

  completed successfully:
  Lean#6:Commit3a38bfbpushedbykckennylau
  main

  Oct 15, 20262m 21s
  More actions for workflow run 6

• feat: add formalization.yaml (#3)

  completed successfully:
  Lean#5:Commita93b09cpushedbykckennylau
  main

  Oct 14, 20263m 28s
  More actions for workflow run 5

• feat: optimize the exponent to 87640 and allow even target (#2)

  completed successfully:
  Lean#4:Commitb1671e4pushedbykckennylau
  main

  Oct 14, 202610m 10s
  More actions for workflow run 4

• feat: generalize to arbitrary endpoint (#1)

  completed successfully:
  Lean#3:Commit4f30993pushedbykckennylau
  main

  Oct 11, 20264m 18s
  More actions for workflow run 3

• feat: add explicit credits

  completed successfully:
  Lean#2:Commitccaca6dpushedbykckennylau
  main

  Oct 9, 202616m 7s
  More actions for workflow run 2

• Publication of Files

  completed successfully:
  Lean#1:Commitbfacd53pushedbykckennylau
  main

  Oct 9, 202627m 4s
  More actions for workflow run 1