lean-tutorial-reference. A newbie's reference solutions to Lean tutorials

github.com/mbrg/lean-tutorial-reference
by @mbrg

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.