https://github.com/sr-lab/roundalize

Rounds and renders huge rational numbers to human-readable decimals.
https://github.com/sr-lab/roundalize

coq rational-numbers rounding truncation

Last synced: 11 days ago
JSON representation

Rounds and renders huge rational numbers to human-readable decimals.

• Host: GitHub
• URL: https://github.com/sr-lab/roundalize
• Owner: sr-lab
• License: mit
• Created: 2018-01-04T19:55:28.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-07-08T13:10:20.000Z (over 6 years ago)
• Last Synced: 2024-11-12T15:17:36.460Z (2 months ago)
• Topics: coq, rational-numbers, rounding, truncation
• Language: C#
• Size: 11.7 KB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project