commit: 248fdbdee4289dde24fa2be44effada961381dce

[log]
author: Kim Morrison <kim@tqft.net>

Wed Jun 18 11:28:37 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 18 11:28:37 2025 +1000
tree: 9d199d2d88e4069e3b087c7e66ef65e7b87ec3bc
parent: 2b39b453e75e7745a48c1fa8071d1874d2f5d2f5 [diff]

feat: grind annotations for Sum

2 files changed

tree: 9d199d2d88e4069e3b087c7e66ef65e7b87ec3bc

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.