commit: 88b40b769bd3df6805855346a6310a3b51aefeb7

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

Wed Sep 25 21:18:47 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Sep 25 21:18:47 2024 +1000
tree: 7014f605f57b806934bc9fd2f7c4a3199f122d33
parent: 30267b29ec62290fed1c30d0e1daa2202e0202b3 [diff]

remove a useless simp

src/Init/Data/List/Monadic.lean[diff]

1 file changed

tree: 7014f605f57b806934bc9fd2f7c4a3199f122d33

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