commit: 74f4316713ef6bb84c674d1f9b7073962634fd3a

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

Mon Aug 19 11:01:11 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Aug 19 20:39:34 2024 +1000
tree: 3cfb3f8929774755a60c2fdebfa2cf0448b4f0c9
parent: b486c6748b153bda628575635baa28aeeb38b8c5 [diff]

coercion

src/Init/Coe.lean[diff]

1 file changed

tree: 3cfb3f8929774755a60c2fdebfa2cf0448b4f0c9

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