HTML stand with theory statement verification. Detailed documentation can be found here.
Run a module to render a structural, logical, or statistical summary.
Boundary completion, exchange relaxation, Einstein midpoint, and monotonic hyperbolic radius.
Unified across logic, completion, and geometry.