https://github.com/cuppajoeman/openmath
https://github.com/cuppajoeman/openmath
education learning mathematics proofs recursive
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/cuppajoeman/openmath
- Owner: cuppajoeman
- Created: 2023-08-02T00:28:54.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2025-12-19T02:17:37.000Z (3 months ago)
- Last Synced: 2025-12-22T00:28:13.169Z (3 months ago)
- Topics: education, learning, mathematics, proofs, recursive
- Language: HTML
- Homepage: https://www.openmath.net/
- Size: 2.88 MB
- Stars: 4
- Watchers: 2
- Forks: 8
- Open Issues: 19
-
Metadata Files:
- Funding: .github/FUNDING.yml