commit: 2a00d6cf70e6dd25c0011b8ad7c7b8fb8c8b3688

[log]
author: David Thrane Christiansen <david@davidchristiansen.dk>

Fri Jun 21 10:34:04 2024 +0200
committer: GitHub <noreply@github.com>

Fri Jun 21 08:34:04 2024 +0000
tree: 06a366cbc5b5c16484a322db7766c1e37299bbd3
parent: d020a9c5a694726b40ac86da353592eda4122ffe [diff]

doc: more detailed docstring for PersistentEnvExtension (#4501)

Describes the intended modes of use, potential performance tradeoffs,
and data representation in more detail.

---------

Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>
Co-authored-by: Mac Malone <tydeu@hatpress.net>

src/Lean/Environment.lean[diff]

1 file changed

tree: 06a366cbc5b5c16484a322db7766c1e37299bbd3

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).