交互式Z3教程平台

Z3功能强大，但其文档假设了对形式化方法有相当的先验知识。

构建一个包含渐进式教程、可视化和Z3交互式编码练习的Web平台。

销售给在安全关键领域采用形式化验证方法的工程团队。

从核心概念和基本示例开始，然后再深入高级主题。

主要风险是目标受众小——目前只有少数工程师从事形式化方法的工作。