Back to explorer

Trend detail

Recent snapshotNo longer in the live ranking

Mathlib4

Last seen at rank #35 on 12 Mar 2026, 08:54 across 1 source.

Total score16.5

Last rank#35

Sources1

Last signal12 Mar 2026

History

Recent score trajectory

Score

Component breakdown

Sources

Last known drivers

GitHubPresent in the latest recent snapshot for this trend

Evidence

Last captured signals

leanprover-community/mathlib4 The math library of Lean 412 Mar 2026, 08:54