commit: aa79daf4b4a14552fade1c020599504673735000

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Wed May 20 22:40:10 2026 +0100
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed May 20 22:40:10 2026 +0100
tree: ff9a18f992a5bf4f41c9704e47e5aee8a56e4e09
parent: 7ca3cac30fcf8dc7f6e9de5f404f20009567d932 [diff]

fix: revert to mkDerivation

flake.nix[diff]

1 file changed

tree: ff9a18f992a5bf4f41c9704e47e5aee8a56e4e09

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.