Axiom

Axiom объединяет синтез программ, формальные модели, промежуточное представление и проверяемое исполнение. Начните с axiom-stack и спецификации, затем переходите к отдельным компонентам.

Компоненты

• axiom-capabilities
• axiom-cegis
• axiom-formal
• axiom-ir
• axiom-kv-lab
• axiom-node
• axiom-proof
• axiom-research
• axiom-runtime
• axiom-solver
• axiom-spec
• axiom-stack
• axiom-symbolic
• axiom-synth
• axiom-verifier
• axiom-zk-bridge