3 ms·Indeed it is: https://github.com/LMFDB/ https://github.com/LMFDB/by olamaria 10y agoIndeed it is: https://github.com/LMFDB/ https://github.com/LMFDB/