ezrasitorus/codewars_lean

Examples of Codewars LEAN questions

codewars_lean

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