Support for Lean in exercism test#1225

keiravillekode wants to merge 1 commit intoexercism:mainexercism/cli:mainfrom

keiravillekode:leankeiravillekode/cli:leanCopy head branch name to clipboard