←Prev↑Up Next→

The Lean Language Reference

1.	Introduction
2.	Elaboration and Compilation
3.	The Lean Language
4.	Terms
5.	Monads and `do`-Notation
6.	IO
7.	Tactic Proofs
8.	The Simplifier
9.	Basic Types
10.	Standard Library
11.	Notations and Macros
12.	Elan
13.	Lake and Reservoir
	Index

13. Lake and Reservoir

13.1.	Lake
13.2.	Reservoir

13.1. Lake

Source Code
Report Issues

13.1. Lake🔗

Planned Content

Port and organize the information in the Lake README
Describe the underlying Lake-specific concepts of traces, artifacts, workspaces, and facets

Tracked at issue #75