Axiom
This content is not available in your language yet.
Axiom объединяет синтез программ, формальные модели, промежуточное представление и проверяемое исполнение. Начните с axiom-stack и спецификации, затем переходите к отдельным компонентам.
This content is not available in your language yet.
Axiom объединяет синтез программ, формальные модели, промежуточное представление и проверяемое исполнение. Начните с axiom-stack и спецификации, затем переходите к отдельным компонентам.