Add Lean 4 - Githubissues

codewars / runner

Issue tracker for Code Runner

33 stars 8 forks source link

Closed JoaoFelipe3 closed 9 months ago

JoaoFelipe3 commented 9 months ago

Name: Lean
Version: 4
Release Note/Changelog: The Lean community is transitioning towards Lean 4, so it's now time for Codewars to do the transition.

:+1: reaction might help to get this request prioritized.

Kacarott commented 9 months ago

Duplicate of #263