commit: 68f04e19ea55b571e299444b2d40dca5c190a2e3

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

Mon Mar 03 22:31:59 2025 +0100
committer: Cameron Zwarich <cameron@lean-fro.org>

Mon Mar 31 06:04:46 2025 -0700
tree: 107c1a0b0d2bc4f7fca7402e014bf9e221007e40
parent: fa3161b6a2326430899ea5aff112f1d58d478ce4 [diff]

fix: make new codegen async realization-compatible

10 files changed

tree: 107c1a0b0d2bc4f7fca7402e014bf9e221007e40

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