Certified State Reductions and Semantics of Conjecture-Checking Turing Machines

该项目提供经过认证的状态简化和用于假设检查的图灵机语义，帮助构建可靠的原型。先检查文档和依赖的维护情况，再将其集成到内部流程中。适合用于原型和内部工作，生产环境前需手动验证。