Getting Started with LeanData

Getting started with LeanData: an overview of routing, matching, and how to begin.