Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2).
Axiom планира да користи технологију доказа да докаже исправност алгоритама (као што су Coq и ACL2).