Skip to content

Expand the completeness checker with more number field, Dirichlet, and local field cases (LMFDB#7017) - #31

Closed
roed-math wants to merge 2 commits into
mainfrom
ai/t42-completeness-cases
Closed

Expand the completeness checker with more number field, Dirichlet, and local field cases (LMFDB#7017)#31
roed-math wants to merge 2 commits into
mainfrom
ai/t42-completeness-cases

Merge remote-tracking branch 'upstream/main' into wt/ai/t42-completen…

21788ca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Initial setup
succeeded Aug 4, 2026 in 7s