commit: 4c0e86cda9543284819e41c890da47d9bfde751c

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

Mon Sep 23 11:08:04 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 23 11:08:04 2024 +1000
tree: 87f24e80d4e412f3d2d074638a75d4c630bd9602
parent: fc5201584166e35fadb7d0fe2bd2b8b59450b155 [diff]

script to count libraries by toolchain

script/count_versions.sh[Added - diff]
script/plot_count_versions.py[Added - diff]

2 files changed

tree: 87f24e80d4e412f3d2d074638a75d4c630bd9602

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