commit: 2f406845d957bcdfa2b8c62702d53d0f46608eba

[log]
author: Joe Hendrix <joe@lean-fro.org>

Wed Feb 21 09:45:40 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Wed Feb 21 09:45:40 2024 -0800
tree: a2ca6845054fc8008afbc477de22d9b62195b58f
parent: 7f826ba2199d59d5003781de1f207fbad545bde7 [diff]

chore: actually fix inWordCompletion test

tests/lean/interactive/inWordCompletion.lean.expected.out[diff]

1 file changed

tree: a2ca6845054fc8008afbc477de22d9b62195b58f

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.