commit: b23f4355c001f2b7e59c626b7bc05e0b650552a5

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

Fri Jul 19 21:11:08 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jul 19 21:11:08 2024 -0700
tree: a8ba05972f7c89de5ee9bba47d0d0faefb3b6296
parent: c2117d75a6898b8e7859a4a4a294aae004c72134 [diff]

fix: `replace_fn.cpp`

src/kernel/replace_fn.cpp[diff]

1 file changed

tree: a8ba05972f7c89de5ee9bba47d0d0faefb3b6296

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