Тег: Математические модели

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