GitHub repository: ps-tuebingen/decomposition-diversity
Primary language: Coq
Description: Decomposition diversity with symmetric data and codata