Julian
Der Beitragende Julian ist als Mitglied lambdaphoenix der CTAN-Gemeinschaft vertreten.
Color extension for the bussproofs package.
A package for declarative sequent-calculus proofs.
Der Beitragende Julian ist als Mitglied lambdaphoenix der CTAN-Gemeinschaft vertreten.