https://github.com/codewars/mathlib_docs
Documentation for mathlib used on Codewars
https://github.com/codewars/mathlib_docs
code-runner
Last synced: 3 months ago
JSON representation
Documentation for mathlib used on Codewars
- Host: GitHub
- URL: https://github.com/codewars/mathlib_docs
- Owner: codewars
- Created: 2022-01-21T02:50:14.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2022-01-26T08:44:43.000Z (almost 4 years ago)
- Last Synced: 2025-01-10T05:36:10.892Z (12 months ago)
- Topics: code-runner
- Homepage: https://codewars.github.io/mathlib_docs
- Size: 47.7 MB
- Stars: 0
- Watchers: 6
- Forks: 0
- Open Issues: 0
-
Metadata Files: