commit: 44cfa325a9b4f97f083d9ca284fb866407f8b941

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 31 15:46:26 2024 -0800
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 01 11:33:10 2024 +1100
tree: 223c5685d00e4e7fcea38757f8ebbcf9790f7d11
parent: 37098ff6f84b0a9a6d2ffc6870fe1ec939a75449 [diff]

fix: Mathlib regressions reported by Scott

2 files changed

tree: 223c5685d00e4e7fcea38757f8ebbcf9790f7d11

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.