lean_tutorial_exercises. Answers to the exercises in the Lean tutorial

github.com/brendanzab/lean_tutorial_exercises

Problem

Audience

Updates

No founder updates yet. Check back soon.