We want to add a SQL database that contains the information from OEIS and Sequencelib, so the tactics can query such data. Branch `sqlite`.
We want to add a SQL database that contains the information from OEIS and Sequencelib, so the tactics can query such data.
Branch
sqlite.