Axiom Math

$Axiom Math формалізувала бібліотеку Stacks Project у коді Lean$

четвер, 5 листопада 2026 р.

Новини

Axiom Math заявила про формальну верифікацію Stacks Project, перевівши математичну бібліотеку у 16 млн рядків коду Lean.