commit: cf36922b5cbb8ab26da254eabd87abd280dd8381

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

Wed Jul 16 09:38:50 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Jul 16 09:38:50 2025 -0300
tree: ed3b3dfc904d70ecb33d8bb716997fc6e5f32952
parent: 7dc405288088d71acbeafb45586e2f62fe3d908d [diff]

fix: add a bunch of structures

12 files changed

tree: ed3b3dfc904d70ecb33d8bb716997fc6e5f32952

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.