# The header boilerplate code The following boilderplate code has two fields that specific to each .lean file: - `AUTHOR LIST INCLUDING AI `This comma separated list includes all authors that have made a significant contributions to this .lean file, including the AI tutors. - `LEANNOTES URL` This url points to the LeanNotes wiki page that contains relevant this .lean file. ```lean /- # Copyright and author credits Copyright (c) 2026, Den Ducoff. No rights reserved. Please refer to https://unlicense.org Authors: <AUTHOR LIST INCLUDING AI> # Read Me First This file is annotated at the webpage: <LEANNOTES URL> . This webpage lists all the tactics used and other information including an overview and relevant links. -/ ``` ... the Lean code follows the above header section. # The header copyright notice section The actual copyright notice is the [least restrictive possible](https://unlicense.org), with no rights reserved. One human being needs to "own" the copyright, and that would be the, Den Ducoff, the founding contributor to the LeanNotes wiki. Always include any significant contributors, including our AI tutors, In Den's case, that would be Gemini. # The header "Read Me First" section The Read Me First contains a link to the LeanNotes wiki page that annotates the .lean file.