Description
Helps prove information-theoretic inequalities from the command line. It is useful for researchers and students working with entropy, information theory, and formal inequality proofs.
Mathematical proof tools depend on correct problem encoding. Treat output as a formal aid and verify assumptions before citing results in research or teaching material.