commit: 46e697355b0a0f525ebb3c5f0764f22151a66fbf

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

Sun Mar 03 18:43:51 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Mar 03 18:45:16 2024 -0800
tree: c6574573d1b92588290bcbcf60660f3e587ee980
parent: 791142a7ff8f4d1f03aff8d8c2aa0f6a10db12dd [diff]

chore: missing double backticks

2 files changed

tree: c6574573d1b92588290bcbcf60660f3e587ee980

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.