Does the world need another inversion of control (IoC) container? No. But Q.E.D. does.
Q.E.D. is a set of practices that make code more provable. It imposes constraints on the kinds of code we can write. When code is written within those constraints, it is easier to prove that it behaves correctly.
Existing IoC containers do not impose these constraints. They allow property injection. They allow multiple constructors. They allow configuration. In order to prove the correctness of code, the Q.E.D. IoC container takes these features away.