BedrockNews

BedrockNews

Ctrl + K
Log In
Community
An Open-Source Theorem Prover Just Hit 100% on MiniF2F — by Treating Proofs Like Construction Blueprints | BedrockNews