lean constant

CodeLanguage const lean

Lean 4.

Implementation

static const CodeLanguage lean = l_lean.lean;