Robuta

https://hacs.dev/docs/use/repositories/type/ Repository types - HACS There are different types of repositories published for HACS. Select a type below to see its description. repository typeshacs https://real.mtak.hu/112971/ A model of type theory with quotient inductive-inductive types - Repository of the Academy's Library https://repository.naturalis.nl/pub/318930 Naturalis Institutional Repository: Notes on the types of Gnathoclita vorax (Stoll) (Tettigoniidae,... institutional repository