MyNixOS website logo
Description

Forest-based proof trees (symbolic logic)

This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.prooftrees ]).