https://github.com/minoki/algebraic-real-article
週刊 代数的実数を作る
https://github.com/minoki/algebraic-real-article
Last synced: 11 months ago
JSON representation
週刊 代数的実数を作る
- Host: GitHub
- URL: https://github.com/minoki/algebraic-real-article
- Owner: minoki
- Created: 2017-11-09T12:30:42.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2018-01-23T08:50:36.000Z (over 8 years ago)
- Last Synced: 2025-07-30T10:17:21.610Z (11 months ago)
- Language: Haskell
- Homepage: https://miz-ar.info/math/algebraic-real/
- Size: 1.81 MB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0