commit: 7b59c38963846d3a00486700eb4a0c1f3ba2656e

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sat Dec 28 13:16:16 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Dec 28 16:17:00 2024 -0800
tree: f64b376eaea6d303faf361c1c639e4173b98b219
parent: 58943bc4d63713101e5f826dd9fe8c8afda46382 [diff]

feat: add `appMap` field to `Goal`

2 files changed

tree: f64b376eaea6d303faf361c1c639e4173b98b219

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