Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
acornlib
Acorn's standard library of mathematical facts.
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
5
Last push
8mo ago
Recent commits
Latest commits.
More cauchy lemmas (#52)
49e72c2
Kevin Lacker
8mo ago
double_sum_col_expand (#51)
66098e3
Kevin Lacker
8mo ago
strict verification in CI
ef77e19
Kevin Lacker
8mo ago
update build format
394dda1
Kevin Lacker
8mo ago
Cauchy lemmas (#50)
3f7d448
Kevin Lacker
8mo ago
Cauchy product theorems (#49)
208fd78
Kevin Lacker
8mo ago
Add tail bound theorem for absolutely convergent series (#48)
084ad87
Kevin Lacker
8mo ago
Add absolute convergence infrastructure for Cauchy products (#47)
49daab2
Kevin Lacker
8mo ago
Top contributors
Builders behind this project.
lacker
584 commits
johnclyde
31 commits
angeris
6 commits
blacktemplar
5 commits
jjtowery
1 commits
