Code

docs: best-of update 2024.12.19#113

Code

Open

github-actions[bot] wants to merge 1 commit intomain34j/best-of-lean4:mainfrom update/2024.12.1934j/best-of-lean4:update/2024.12.19Copy head branch name to clipboard

+113-54

Commits

Commits on Dec 19, 2024

• docs: update best-of list for version 2024.12.19

  

  34j

  authored and

  actions-user

  committed
  15da318

  Copy full SHA for 15da318