Quantum Entropy Prover.

Shao-Lun Huang, Tobias Rippchen, Mario Berta

Browse the full ISIT paper archive.