GitHub repository: IToastPotatoes/logictools
Primary language: TeX
Created: 2025-04-18T14:51:20Z
Description: A package containing various tools for typesetting formal logic in LaTeX.