221 followers
GRUNGE: A Grand Unified ATP Challenge https://t.co/Gu7fFlqrpr
GRUNGE: A Grand Unified ATP Challenge https://t.co/Gu7fFlqrpr
"GRUNGE: A Grand Unified ATP Challenge. (arXiv:1903.02539v2 [cs.LO] UPDATED)" #arXiv https://t.co/GnoHI9MD8b
GRUNGE: A Grand Unified ATP Challenge https://t.co/Gu7fFlqrpr
GRUNGE: A Grand Unified ATP Challenge. https://t.co/lzwV4IQZAi