commit: ef335988d99c1566e26e89153b5d1292eb052a20

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

Mon May 13 08:50:11 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 13 08:50:11 2024 +1000
tree: ca6e80155a41d326d8aef7ffbdd20162067a2295
parent: b8f2f28e0dc93dff65c5715bc041804d49560f59 [diff]

chore: incorrect lemma resolution in omega

2 files changed

tree: ca6e80155a41d326d8aef7ffbdd20162067a2295

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