How should I cite stdpp?

Should I just cite Iris?

I've seen this, is this good?

I don't think we have any guidelines for this, but I would go for something like:

@software{stdpp,
  title = {Rocq-std++: {{An}} extended "{{Standard Library}}" for {{Rocq}}},
  author = {{The std++ developers and contributors}},
  year = {2024},
  url = {https://gitlab.mpi-sws.org/iris/stdpp/},
  version = {1.11.0}
}

I see, thanks!

closed