_:n632a6d0b7a4e47afada5b02b62d9b7c0xb1
<http://schema.org/item>
"https://gitlab.mpi-sws.org/janno"
<https://gitlab.mpi-sws.org/janno/iris-coq/-/commit/6bb2f80302b47f3028fa2f290a3f596f91f66f3e?view=inline>