commit: f87b72c98a84377c8f6eef07a62f1c552687d74b

[log]
author: Kim Morrison <kim@tqft.net>

Mon Nov 18 16:54:29 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Nov 18 16:54:29 2024 +1100
tree: 9bd60b01132cfede7a61be878df76dd9f9c298d4
parent: ea6601e30fa12ff6397c2470046a6c92dcdd6818 [diff]

chore: make Lean.Elab.Command.mkMetaContext public

src/Lean/Elab/Command.lean[diff]

1 file changed

tree: 9bd60b01132cfede7a61be878df76dd9f9c298d4

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).