commit: dec2418fb01fe3f32a1f71d61ed37bde69639053

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

Sun Apr 20 10:00:48 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 20 10:00:48 2025 -0700
tree: c18afe7e23ec71bfd5a6fd924e1b1d63afd89537
parent: fd635b70afaeb36e67ca748574c34870374e940f [diff]

feat: detect unsat comm ring equality

5 files changed

tree: c18afe7e23ec71bfd5a6fd924e1b1d63afd89537

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