commit: 4708cc785948bdc82dd29ca6905662c9f1d372a4

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

Mon Mar 18 22:24:38 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Mar 18 22:24:38 2024 +1100
tree: 611c2b8901f5ca645712b97a99fc892990cbbdab
parent: 36d9e07f3af110df71d3c7e2cf28f647cc01aad6 [diff]

add test file from Std

tests/lean/run/refl.lean[Added - diff]

1 file changed

tree: 611c2b8901f5ca645712b97a99fc892990cbbdab

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.