Texlive-logicproof Download for Linux (rpm, noarch)