Exceeds
Back to lean-fro.org report

Shared Repositories

6 unique repositories • 5 contributors

david-christiansen

leanprover/reference-manual

tydeu

leanprover-community/mathlib4-nightly-testing

leanprover-community/mathlib4

Unknown contributor

leanprover-community/mathlib4-nightly-testing

TwoFX

leanprover-community/mathlib4-nightly-testing

opencompl/lean4

+2 more repositories

zwarich

leanprover-community/mathlib4-nightly-testing

leanprover-community/mathlib4

+2 more repositories