commit: 31435e9cd156ecc53c7070b5dd061b98d95187ab

[log]
author: Kitamado <47292598+Seasawher@users.noreply.github.com>

Sat Jan 04 17:08:12 2025 +0900
committer: GitHub <noreply@github.com>

Sat Jan 04 08:08:12 2025 +0000
tree: 0e7465392521e4609432572762fb37c3cb40943c
parent: 639e6e92a47df90000b95d7f092ae42acd7aabea [diff]

doc: fix broken code blocks in RELEASES.md (#6527)

just fix markdown

RELEASES.md[diff]

1 file changed

tree: 0e7465392521e4609432572762fb37c3cb40943c

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