## 2026-08-19 Topics concerning how to best to use and contribute to the LeanNotes wiki. --- Links between videos, annotations, and Lean code Every LeanNotes video contains a link to a page in the LeanNotes wiki that annotates the contents of the video. Videos that describe proofs also contain a GitHub link to the .lean code. --- ## LeanNotes FAQ Topics concerning how to best to use and contribute to the LeanNotes wiki. Refer to the following LeanNotes wiki page for more information: https://leannotes.wiki/LeanNotes+FAQ