URL details: github.com/leanprover-community/mathlib

home > domains > github.com > github.com/leanprover-community/mathlib

URL title: GitHub - leanprover-community/mathlib: Lean mathematical components library
URL description: Lean mathematical components library. Contribute to leanprover-community/mathlib development by creating an account on GitHub.
URL last crawled: 2022-05-24
URL speed: 2.310 MB/s, downloaded in 0.080 seconds

open external url

2 external links to this url

Only links from external domains are shown on this page.

found date
link text
from url
2022-05-27
a database of modern mathematical theorems and definitions
imperial.ac.uk/people/k.buzzard/#abstract-text-1
2021-05-30
GitHub
leanprover-community.github.io/mathlib_stats.html