commit: 97671dddb91e1b9bcd3d272d28b22dac7f3eeda8

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

Wed Sep 03 07:47:49 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Wed Sep 03 07:47:49 2025 +0200
tree: d154eae9e858fbc679652200d7a4fc8010a43ed8
parent: c83237baf78d6930d40e556a5cacdca149c4b198 [diff]

feat: grind annotations for basic monad transformers

src/Init/Control/Lawful/Instances.lean[diff]

1 file changed

tree: d154eae9e858fbc679652200d7a4fc8010a43ed8

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.