Julian
The contributor Julian appears to be present as the CTAN community member lambdaphoenix.
Color extension for the bussproofs package.
A package for declarative sequent-calculus proofs.
The contributor Julian appears to be present as the CTAN community member lambdaphoenix.