Examples of Codewars LEAN questions
Primary LanguageLean
This repository contains some of the Codewars LEAN questions I have attempted.