Code

feat: add Lean language#1509

Code

Merged

o2sh merged 5 commits intoo2sh:maino2sh/onefetch:mainfrom foxyseta:feat/leanfoxyseta/onefetch:feat/leanCopy head branch name to clipboardJan 22, 2025

+16

Commits

Commits on Jan 15, 2025

• feat: add Lean language

  Show description for 4e8bec0
  foxyseta

  committed
  4e8bec0

  Copy full SHA for 4e8bec0

• fix: fish ascii

  foxyseta

  committed
  32afaf6

  Copy full SHA for 32afaf6

• fix: fish ascii

  foxyseta

  committed
  9d6091f

  Copy full SHA for 9d6091f

Commits on Jan 16, 2025

• fix: remove fancy unicode from Lean's logo

  foxyseta

  committed
  e9d7729

  Copy full SHA for e9d7729

Commits on Jan 22, 2025

• feat: improved Lean logo

  foxyseta

  committed
  e2f82d2

  Copy full SHA for e2f82d2