exercism.org

Stream: Codewars

[Nicolas Rolland]

before codewars updates to Lean4, would it make sense to add Lean4 to Exercism.org ? Here is a link describing the procedure to add a new language . It says

Exercism is a not-for-profit organization, and all the language tracks are built by volunteers. We will only create a track if there is at least one volunteer who has offered to take the lead on building it.

The minimum to launch a track is:

- 20 practice exercises (these *can* be based on specifications in the [problem-specifications][] repository.
- Continuous integration that checks that the exercises can be solved.
- A bit of configuration and documentation.