commit: 94b1e512da9df1394350ab81a28deca934271f65

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Tue Oct 15 17:59:50 2024 +0200
committer: GitHub <noreply@github.com>

Tue Oct 15 15:59:50 2024 +0000
tree: 86a44359e1a35c3826c9a0a4e1790b41ed7864a4
parent: 5a87b104f6f85898d0d8c344fcdc6d1a47e269c1 [diff]

fix: simpproc to reduce Fin literals consistently (#5632)

previously, it would not reduce `25 : Fin 25` to  `0 : Fin 25`.

fixes #5630

2 files changed

tree: 86a44359e1a35c3826c9a0a4e1790b41ed7864a4

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