Maintaining NaryFunctions #293

Open

opened

on Jul 15, 2026

Saw the deprecation notice for NaryFunctions.v. I do not use that module but would be happy to step up to maintain it in the name of backwards compatibility.

What are the expectations of a maintainer in this role?

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests