#
exact-rationals
Here are 2 public repositories matching this topic...
Extensions to (and bugfixes for) the ATS/Postiats prelude. Mirror of the default branch of the Mercurial repository at https://sourceforge.net/p/chemoelectric/ats2-xprelude
-
Updated
Apr 22, 2023 - M4
Improve this page
Add a description, image, and links to the exact-rationals topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the exact-rationals topic, visit your repo's landing page and select "manage topics."