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.
aya-prover/aya-devWird geladen…
AxiomMath/axiom-lean-engineWird geladen…
PrincetonUniversity/VSTWird geladen…
rzk-lang/rzkWird geladen…
4 von 6
Keines der gewählten Repositories trägt bislang eine veröffentlichte Prüfung.