Minor fixes to documentation

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

456 stars 137 forks source link

Closed Joel-Dahne closed 2 years ago

Joel-Dahne commented 2 years ago

This fixes two minor errors in the documentation I found when preparing https://github.com/kalmarek/Arblib.jl/pull/146.