Erfasste Open-Source-Repos von UniMath, sortiert nach Sternen.
Diese Rocq-Bibliothek zielt darauf ab, einen wesentlichen Teil der Mathematik unter Verwendung der univalenten Sichtweise zu formalisieren.
