commit: f5b6070594292481875216bed0415316cad7a854

[log]
author: Kim Morrison <kim@tqft.net>

Sat Jun 01 03:12:29 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Sat Jun 01 03:12:29 2024 +1000
tree: c191891ef59147568833bb4133a041a8181f7bca
parent: bd00c5bca349e2333570dddfc0493c9e47ae7cef [diff]

update scripts

script/github-issues-fro.py[Added - diff]
script/github-metrics.py[diff]

2 files changed

tree: c191891ef59147568833bb4133a041a8181f7bca

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