We have compiled a Lean index to help you on your Lean journey.
We are currently drawing from over 750 draft terms that were originally written to be a Lean encyclopedia. If you don’t find the term you want, contact us at NewTerm@Velaction.com. There’s a good chance we can get the term posted in short order.
You can find the Lean index at any time by selecting ‘Lean Dictionary’ above the menu bar.