commit: d0617ff1ee3bf408182259d5d1c615e505d2e929

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

Wed Aug 27 19:09:08 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Aug 27 19:09:08 2025 -0700
tree: 9992291fbcad6fb3d98418d9e76216e0a2955068
parent: 9757a7be53deb894e7a92c550689f93211ef7391 [diff]

feat: helper `AC.Seq` functions

This PR adds helper functions for the `AC.Seq` type.

2 files changed

tree: 9992291fbcad6fb3d98418d9e76216e0a2955068

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.