Nebeneinander · Metriken 2.10.0

Geprüfte Repositories vergleichen.

Bis zu sechs Einträge, unter einer veröffentlichten Methode gegeneinander gelesen: die Stellung, das Kategorienprofil, der Wachstumsverlauf und jede zugrunde liegende Zahl in einer Tabelle.

AxiomMath/axiom-lean-engineWird geladen…
jtraverso/certo-mathWird geladen…
Verified-zkEVM/ArkLibWird geladen…
midspiral/LemmaScriptWird geladen…
4 von 6
Keines der gewählten Repositories trägt bislang eine veröffentlichte Prüfung.