[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"VcYAzKNPto":3},"# hex\n\nVerified computational algebra in Lean 4.\n\n- Specification: [SPEC/SPEC.md](SPEC/SPEC.md)\n- Execution plan: [PLAN.md](PLAN.md)\n- Library DAG and phase state: [libraries.yml](libraries.yml)\n",1780846774083]