## Topics - Table of Contents
| Topic | Description |
| ------------------------ | ----------------------------------------------------------------- |
| LeanNotes coding style | [[File header template]], [[Naming conventions]], [[set_options]] |
| [[Syntactic, Definitional, and Propositional Equality]] | Definitional, propositional, and syntactic equiltiy |
---
**`LeanNotes curator:`** [[dducoff]], [Contact dducoff](https://tally.so/r/rjQYWL)
**`Posted Date`**: 2026-08-15