commit: 96fbce4fbbfe787752afcc7e34eb93675ded46e1

[log]
author: Kyle Miller <kmill31415@gmail.com>

Fri Oct 18 12:29:05 2024 -0700
committer: GitHub <noreply@github.com>

Fri Oct 18 12:29:05 2024 -0700
tree: 931ac07883b6292dbd9fd51a802960d0df8e1928
parent: 11ae8bae42509eaca43db69ed95fbdd9570d5039 [diff]

chore: mention `#version` in bug report template

.github/ISSUE_TEMPLATE/bug_report.md[diff]

1 file changed

tree: 931ac07883b6292dbd9fd51a802960d0df8e1928

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