GitHub - andrejbauer/marshall: Real number computation software - discu.eu

Hacker News

Marshall: Exact real arithmetic based on Dedekind reals https://github.com/andrejbauer/marshall 4 comments 20/8/2012

Reddit

Programming language for EXACT real arithmetic based on Dedekind cuts https://github.com/andrejbauer/marshall 43 comments 20/8/2012 programming

Linking pages

State of Knuckledragger, a Semi-Automated Python Proof Assistant | Hey There Buddo! https://www.philipzucker.com/state_o_knuck/ 24 comments

Linked pages

Related searches:

Search whole site: site:github.com

Search title: GitHub - andrejbauer/marshall: Real number computation software

See how to search.

Submit link to: