Skip to content

Support for Lean in exercism test #151

Support for Lean in exercism test

Support for Lean in exercism test #151

pause  /  Pause Community Contributions

succeeded Jan 8, 2026 in 4s