Questions tagged [proof-package]
This tag is meant for packages to display and typeset proofs. This can be proof environments like being defined from `amsthm` with `\newtheorem` or more algorithm-like scenarios. The package `proof` is an example.
This tag is meant for packages to display and typeset proofs. This can be proof environments like being defined from `amsthm` with `\newtheorem` or more algorithm-like scenarios. The package `proof` is an example.