Erfasste Open-Source-Repos von MetaRocq, sortiert nach Sternen.
Metaprogrammierung, verifizierte Metatheorie und Implementierung von Rocq in Rocq.
