commit: c4a41ef1a34b7266b2321ff9e22016ac12b80ce9

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Mar 20 22:19:49 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Mar 20 22:19:49 2024 +1100
tree: 594f880bc3d0587b82b2f3db4dddd8ef638c005a
parent: c140e2e52729871ebefaea64fde9f4ae5f647529 [diff]

update test

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

1 file changed

tree: 594f880bc3d0587b82b2f3db4dddd8ef638c005a

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.