Closed bmatschke closed 3 years ago
This would best be done via an API; for that see issue https://github.com/numberdb/numberdb-website/issues/7.
Done rudimentarily: https://github.com/numberdb/numberdb-website/tree/main/interfaces. Needs improvements -> see subsequent issues #43.
Make data searchable and downloadable from within sage. The idea would be a class/package "numberdb", in which one can: