Skip to content

feat: add Lean language #3727

feat: add Lean language

feat: add Lean language #3727

CI (macOS-latest)

succeeded Jan 15, 2025 in 51s