AlphaNeural
proof-pile-2 – Dataset by NP235 | AlphaNeural AI