commit: 13435ed957e82727badea3bc8b49163c33a402a6

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

Thu Jul 03 14:03:05 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Jul 03 14:03:05 2025 -0300
tree: 95054b826d75ad8d0488db9bfa20930cfb02915f
parent: 2c13d145dc05899f8ac5928253787d8a495f6c2b [diff]

feat: more functions in the bytearray parser and move .eof out

4 files changed

tree: 95054b826d75ad8d0488db9bfa20930cfb02915f

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.