Theorema
Package Tutorial
Builtin Browser
Hierarchy and arrangement of operations is defined in the implementation and cannot be configured by the user.