https://github.com/math-comp/newtonsums
Newton series transformation
https://github.com/math-comp/newtonsums
coq mathcomp
Last synced: 5 months ago
JSON representation
Newton series transformation
- Host: GitHub
- URL: https://github.com/math-comp/newtonsums
- Owner: math-comp
- Created: 2015-10-26T23:51:19.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2019-11-10T23:12:23.000Z (over 6 years ago)
- Last Synced: 2025-01-21T13:46:46.599Z (about 1 year ago)
- Topics: coq, mathcomp
- Language: Coq
- Homepage:
- Size: 208 KB
- Stars: 0
- Watchers: 4
- Forks: 3
- Open Issues: 1