commit: 395833670e50a6c9c15cccbdd7ed494a0d80fc33

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

Sat Oct 17 10:35:57 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Oct 23 13:45:10 2026 +0000
tree: 434d70447ff0e0e0441032af10b14f544a4d352c
parent: 212b34394d3c317aa03290957a45355e3be68090 [diff]

test: shorten the `ConstTrie` proofs using `grind`

The theorem statements are unchanged; checking time stays within about 1.1x.

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

2 files changed

tree: 434d70447ff0e0e0441032af10b14f544a4d352c

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.