commit: ea6601e30fa12ff6397c2470046a6c92dcdd6818

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

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

Mon Nov 18 16:47:47 2024 +1100
tree: 0bf8cc90708af27b179925f6fff8b089f5c6fbe0
parent: e10fac93a695f3748d362e863303a083fa27a917 [diff]

chore: make Command.mkMetaContext non-private

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

1 file changed

tree: 0bf8cc90708af27b179925f6fff8b089f5c6fbe0

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