Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
PentagonalNumberTheorem
wwylele/PentagonalNumberTheorem
Lean
Emerging
GitHub
Stars
4
Forks
1
Contributors
1
Last push
28d ago
Recent commits
Latest commits.
Add license
07ed8a0
Weiyi Wang
28d ago
rename
87875f9
Weiyi Wang
6mo ago
use RCLike
f880b45
Weiyi Wang
6mo ago
update
d8ddb14
Weiyi Wang
6mo ago
update
021cc74
Weiyi Wang
8mo ago
update
2591ffb
Weiyi Wang
8mo ago
update
2017201
Weiyi Wang
8mo ago
update
fe8cd40
Weiyi Wang
8mo ago
Top contributors
Builders behind this project.
wwylele
41 commits
