1. Getting started🔗

This is the first chapter of the Lean Notes textbook. Replace this content with your own writing.

1. 1.1. A first example