hr25: Published MSCS paper A parametricity-based formalization of semi-simplicial and semi-cubical sets: 10.1017/S096012952500009X.
bonak.opam: fix dev-repo url