commit: 354b67fe98317e3fe4ae751931bd372044f46ffb

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

Fri Mar 20 20:34:38 2026 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Mar 20 20:43:30 2026 -0700
tree: 64e7d4cdfd7478d4356b072d99c232d65069500c
parent: 2c872e977459d4c9d2111b9ff87c27b67d8bed1b [diff]

test: add tests for builtin @[sym_simp] attribute

3 files changed

tree: 64e7d4cdfd7478d4356b072d99c232d65069500c

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.