commit: da939a8d1b8f056f5d684b5c4b61a2a8016c8bff

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Fri Apr 25 21:48:20 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Apr 25 21:48:20 2025 -0700
tree: c862482531fb7182ffc8ea3f96e8c05edeeecf9a
parent: 9f681269d32657162afdccdc9879fc5228d8b88a [diff]

feat: polynomial derivations

2 files changed

tree: c862482531fb7182ffc8ea3f96e8c05edeeecf9a

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