commit: 73926841c675a575814caa106dcb8f33b728b518

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Sat Nov 07 22:18:38 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Sat Nov 07 22:18:38 2026 +0000
tree: eeef87c31aabe9e0f80d118bd549ff4d18374ea8
parent: c0aca6a84e8619b258a6aefdf716407a85382a7c [diff]

WIP: update `issue14484` axioms expectation

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

tests/elab/issue14484.lean[diff]

1 file changed

tree: eeef87c31aabe9e0f80d118bd549ff4d18374ea8

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.