Тег: Доказательство теорем

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