great-theorems0.1.2
Theorem/Proof environments. Straightforward, functional, clean.
headcount0.1.0
Make counters inherit from the heading counter.
rich-counters0.2.2
Counters which can inherit from other counters.