onefetch icon indicating copy to clipboard operation
onefetch copied to clipboard
verified publisher icon o2sh

Language request: Lean

Open foxyseta opened this issue 1 year ago • 0 comments

Language Name 🖊

Lean (proof assistant/programming language)

https://lean-lang.org/

Logo 📷

Lean logo

Upstream support ✅

  • [X] Does tokei already support the language in question?

foxyseta avatar Jun 20 '24 00:06 foxyseta