Skip to content

Switch the Erdős dataset to the Bloom statement selection - #28

Merged
tadamcz merged 11 commits into
mainfrom
bloom-erdos-selection
Aug 26, 2026
Merged

Switch the Erdős dataset to the Bloom statement selection#28
tadamcz merged 11 commits into
mainfrom
bloom-erdos-selection

Cut the erdos docstrings and allowlist comment down (review feedback)

258db32
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar