Hacker News
- Marshall: Exact real arithmetic based on Dedekind reals https://github.com/andrejbauer/marshall 4 comments
- Programming language for EXACT real arithmetic based on Dedekind cuts https://github.com/andrejbauer/marshall 43 comments programming
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - andrejbauer/marshall: Real number computation software
See how to search.