commit: b0bdbe27819756d083e08c877607e34c4a7e1776

[log]
author: Henrik Böving <hargonix@gmail.com>

Thu Feb 19 08:31:10 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Thu Feb 19 08:34:40 2026 +0000
tree: 351cca700900eaa12076378b0b5e14b7b59b35cf
parent: 172c5c3ba888555e73a7beb5a9d1f6a0630be510 [diff]

feat: make computed_fields respect inline

2 files changed

tree: 351cca700900eaa12076378b0b5e14b7b59b35cf

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.