Code

feat: copy #time command from Mathlib#93

Code

Closed

alexkeizer wants to merge 1 commit intoleanprover:mainleanprover/LNSym:mainfrom alexkeizer:timeCmdalexkeizer/LNSym:timeCmdCopy head branch name to clipboard

+33

Commits

Commits on Aug 16, 2024

• feat: copy #time command from Mathlib

  alexkeizer

  committed
  2a9a3de

  Copy full SHA for 2a9a3de