GitHub repository: KWARC/LaTeX-proposal
Primary language: TeX
Description: The Proposal package for LaTeX