commit: 5ae4a3de901d8ca71165f35fe8a55d238968ed82

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

Tue Apr 29 21:40:56 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Apr 29 21:40:56 2025 -0700
tree: 11ba2efb6c1b551c6bf53d696abf965e9fcd2d0d
parent: 1b8c3e03cc2ac86f074189a8567fd99d9bbeaea6 [diff]

feat: enable `ring` if `ringNull` is used

2 files changed

tree: 11ba2efb6c1b551c6bf53d696abf965e9fcd2d0d

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