commit: 1a4d7759ff74c33a9308d4817dac921e09d540e8

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

Mon Apr 08 18:44:05 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Apr 16 13:41:28 2024 +0200
tree: dc09fcd656ce104c9a3ce319e095e89a0d5cd6d5
parent: 0aa68312b643abce8f80be35274c306c3fc1601b [diff]

feat: basic incrementality API

10 files changed

tree: dc09fcd656ce104c9a3ce319e095e89a0d5cd6d5

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.