AlphaNeural
proofnet-lean4 – Dataset by HaimingW | AlphaNeural AI