commit: a1de79ac71cbbaaa7082be95b789b38efc1a57fe

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

Sun Aug 24 19:50:18 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Aug 24 19:50:18 2025 -0700
tree: 20d16a6cdf00f4f2ec28a2d12a12354acef640bd
parent: 9962ec439c87c515bfe1cd74a79e93c20609197c [diff]

feat: ac operator detection

9 files changed

tree: 20d16a6cdf00f4f2ec28a2d12a12354acef640bd

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.