fix a typo in docs - Githubissues

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

455 stars 137 forks source link

Closed p15-git-acc closed 3 years ago

p15-git-acc commented 3 years ago