Boldly Going Where No Prover Has Gone Before
2019·Arxiv