Side by side · metrics 2.10.0

Compare inspected repositories.

Up to six records, read against each other under one published method: the standing, the category profile, the growth trajectory, and every underlying figure on a single grid.

AxiomMath/axiom-lean-engineLoading…
midspiral/LemmaScriptLoading…
lean-dojo/LeanCopilotLoading…
alerad/lean-runtimeLoading…
4 of 6
None of the selected repositories carries a published inspection yet.