commit: 9c25a94e7c7572256fb97a54291d251dcff192f5

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

Tue Dec 31 11:21:16 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 31 11:48:24 2024 -0800
tree: be363d1c99e52b14bcaad2c0d68c5f3a549d8db6
parent: f441a5549529d46113bfd1203be3815e3e16ece6 [diff]

feat: add `PreInstanceSet`

3 files changed

tree: be363d1c99e52b14bcaad2c0d68c5f3a549d8db6

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