Bulk database connections

Select databases and paste rows to create Brain edges.

Provenance
Database columns

Select at least two databases, including at least one Brain-node database. Up to 100 rows per submit.

Input format

Use one row per connection. Tab-separated values are recommended; comma-separated CSV also works when the first line has no tabs. The example below uses <Tab> markers to show where real tab characters go.

  • The first line may be headers such as mathlib, wikidata, lmfdb, nlab, file, and note.
  • If there is no header row, columns follow the selected databases in order, then file when Mathlib is selected, then note.
  • Blank lines and lines starting with # are ignored.
mathlib<Tab>wikidata<Tab>lmfdb<Tab>file<Tab>note
CommGroup<Tab>Q181296<Tab>group.abelian<Tab>Mathlib/Algebra/Group/Defs.lean<Tab>Tentative match
0accepted
0failed
0queue size

Generated Brain edges

0 edges