BFS-ProverПровереноBFS-Prover — открытая система ByteDance для формальной проверки математических доказательств с помощью Lean 4.ФримиумОткрыть