Theorema
Package Tutorial
Inference Rule Browser
The hierarchy is defined in the implementation of the rules and cannot be influenced by the user.