mathpartir

LaTeX macros for typesetting inference rules - transitional package
  http://cristal.inria.fr/~remy/latex/index.html#mathpartir
  0
  no reviews


This is a transitional package to texlive-science, it can be safely removed.