commit: f5b3e3e85248a0da5d8a909de10e4beeedb9230b

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Mon Apr 08 17:35:00 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Apr 08 17:35:00 2024 +0200
tree: 5d79cdc17a9b426123fa0b03bcc4e48bb36207bc
parent: 3f52f877dc8d9c2650f6d9fa4d13e08edc2e397b [diff]

trace.profiler.output.pp

3 files changed

tree: 5d79cdc17a9b426123fa0b03bcc4e48bb36207bc

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.