Natural_number_game | Recreational_mathematics_with_python | |
---|---|---|
Stars | 178 | 35 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | ||
Most Recent Commit | 2 years ago | 9 months ago |
Total Releases | ||
Latest Release | ||
Open Issues | 33 | |
License | apache-2.0 | |
Programming Language | Lean | Python |