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.
leanprover/cslibLoading…
leanprover-community/batteriesLoading…
leanprover/std4Loading…
leanprover-community/proofwidgets4Loading…
4 of 6
None of the selected repositories carries a published inspection yet.