commit: e3958d0ffe6b90d564393331fe3d14090af64ebb

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Feb 04 14:54:38 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 06 15:26:36 2026 -0800
tree: 70dfdc3d9f0a7a2a4e4bf238de738acd88970568
parent: 073c9a153706fa80c5c790093d384ab407d12393 [diff]

fix: missing annotations

src/Init/Data/Ord/Basic.lean[diff]

1 file changed

tree: 70dfdc3d9f0a7a2a4e4bf238de738acd88970568

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.