# Getting started

Use the pinned Lean toolchain and manifest.

git clone https://github.com/chenle02/rough-heat-kernel-lean.git
cd rough-heat-kernel-lean
lake exe cache get
lake build

Select a published tag or exact source commit from the repository verification record.

Verification authority: https://github.com/chenle02/rough-heat-kernel-lean/blob/main/README.md#verification-at-a-glance
Canonical receipts: https://github.com/chenle02/rough-heat-kernel-lean/tree/main/.lean-receipts
These static docs do not assert live release/CI/acceptance state. Each receipt covers only its named scientific content.