https://github.com/coq-community/exact-real-arithmetic
Exact Real Arithmetic [maintainers=@ybertot,@magaud]
https://github.com/coq-community/exact-real-arithmetic
unsafe-code work-in-progress
Last synced: 11 months ago
JSON representation
Exact Real Arithmetic [maintainers=@ybertot,@magaud]
- Host: GitHub
- URL: https://github.com/coq-community/exact-real-arithmetic
- Owner: coq-community
- License: lgpl-2.1
- Created: 2016-04-26T16:45:54.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2019-12-07T12:59:45.000Z (about 6 years ago)
- Last Synced: 2025-01-24T08:09:00.515Z (about 1 year ago)
- Topics: unsafe-code, work-in-progress
- Language: Coq
- Homepage:
- Size: 111 KB
- Stars: 1
- Watchers: 11
- Forks: 1
- Open Issues: 0