Nebeneinander · Metriken 1.13.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.

leanprover/cslibWird geladen…
leanprover-community/batteriesWird geladen…
leanprover/std4Wird geladen…
leanprover-community/proofwidgets4Wird geladen…
4 von 6
Keines der gewählten Repositories trägt bislang eine veröffentlichte Prüfung.