Natural_number_game | Pytennis Discrete Mathematics Approach | |
---|---|---|
Stars | 178 | 7 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | ||
Most Recent Commit | 2 years ago | 4 years ago |
Total Releases | ||
Latest Release | ||
Open Issues | 33 | |
License | apache-2.0 | |
Programming Language | Lean | Jupyter Notebook |