mathlib
mathlib copied to clipboard
Published
20 hours ago •
leanprover-community
leanprover-community
Lean 3's obsolete mathematical components library: please use mathlib4
Results
381
mathlib issues
Sort by
recently updated
recently updated
newest added
The reason why many sheaves satisfy the sheaf condition is that they consist of some collection of "functions to a target space" satisfying a further predicate which is "local", i.e....
long term
roadmap
Metadata
1.6k
Stars
298
Forks
Watchers
Owner
Metadata
Lean 3's obsolete mathematical components library: please use mathlib4