commit: c4f74b21deea7748e1e06967818072a1b54c744c

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

Tue Oct 27 18:30:06 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Tue Oct 27 18:30:06 2026 -0300
tree: 9f3d5ef15e968db22a2aa06d4266191d7d36de36
parent: e07b43cce0270ecb093cb867b2e05e0dd063ff6b [diff]

fix: no jq

tests/lake/tests/15761/test.sh[diff]

1 file changed

tree: 9f3d5ef15e968db22a2aa06d4266191d7d36de36

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.