Found 3 repositories(showing 3)
leanprover-community
Lean 3's obsolete mathematical components library: please use mathlib4
leanprover-community
Synport output from mathport for mathlib3
sinhp
A Proof of Covariant Yoneda Lemma in the Lean3 Proof Assistant out of scratch not using Mathlib3.
All 3 repositories loaded