Goedel-Prover-v2: The strongest open-source theorem prover to date | Heykuki News