New on CTAN: logicproof