Universe

  1. great-theorems0.1.2

    Theorem/Proof environments. Straightforward, functional, clean.

  2. headcount0.1.0

    Make counters inherit from the heading counter.

  3. rich-counters0.2.2

    Counters which can inherit from other counters.