discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Programming language for EXACT real arithmetic based on Dedekind cuts
https://github.com/andrejbauer/marshall
43 comments
20/8/2012
programming