Use of Axeyum
Axeyum isolated a five-constraint contradiction and reconstructed the critical-chain refutation in the kernel.
- Components
- Axeyum SMT SolverAxeyum KernelAxeyum Library
Recorded result
Five rows form an irreducible infeasible subsystem, with a related kernel-checked critical-chain result.
Supporting artifacts
Artifact pages contain the formal statement, proof route, evidence, provenance, and direct dependency graph recorded in the ledger.
- Five rows of a 60-row project schedule are an irreducible infeasible subsystem search-certificate · F:schedule-deadline-iis
- A five-constraint critical chain against a delivery deadline, refuted in the Lean kernel kernel-lean · F:schedule-critical-chain-infeasible