User:DlmfSeedBot1

From MaRDI portal
Revision as of 07:30, 3 July 2023 by Schubotz (talk | contribs) (Created page with "DLMF seed bot1 created an initial set of items in the MaRDI portal in late December 2021. It did run with the software version 72738f7413434b872af76bf452d6d858dd26e60e.[https://github.com/gipplab/drmf-repo-writer/tree/72738f7413434b872af76bf452d6d858dd26e60e]")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

DLMF seed bot1 created an initial set of items in the MaRDI portal in late December 2021. It did run with the software version 72738f7413434b872af76bf452d6d858dd26e60e.[1]