improve the documentation of `contra.v` #1197

Open

Labels

documentation 📝

Milestone

opened

on Mar 28, 2024

in particular, it lacks of examples

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

Metadata

Assignees

No one assigned

Labels

documentation 📝

Type

No type

Projects

No projects

Milestone

1.19.0

Relationships

None yet

Development

No branches or pull requests