Oven logo

Oven

This package contains a Sphinx extension for producing proof, theorem, axiom, lemma, definition, criterion, remark, conjecture, corollary, algorithm, example, property, observation, proposition, and assumption directives.

This project is maintained and supported by najuzilu.