Lean QuickStart Guide: The Simplified Beginner's Guide to Lean