## Topics - Table of Contents
| Topic | Description |
| ------------------------ | ----------------------------------------------------------------- |
| LeanNotes coding style | [[File header template]], [[Naming conventions]], [[set_options]] |
| [[definitionally equal]] | Definitional, propositional, and syntactic equiltiy |
---
**`LeanNotes curator:`** [[dducoff]]
**`Posted Date`**: 2026-08-15