search

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
457 stars 137 forks source link

remove reference to ArbFloats.jl which is deprecated. #403

Closed oscardssmith closed 2 years ago

fredrik-johansson commented 2 years ago

Thanks!