Diff - refs/heads/upstream/paul/array1^! - third_party/github.com/leanprover/lean4

commit: 5b9ddd2cbe818b7c29b3628347e54ee2a56b8dcb

[log]
author: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Wed Feb 25 11:29:10 2026 +0100
committer: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Wed Feb 25 11:29:10 2026 +0100
tree: 5c8631b0762eb015d9714f1197f3c5375ba62ff1
parent: 52f7ab2bcb4f7c15961155b87b1c186cb8c524e2 [diff]