MyNixOS website logo
Description

A package to move proofs to appendix.

This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.proof-at-the-end ]).