Documentation

Lean.Server.Test.Runner

Runner for tests/lean/interactive server tests. Put here to avoid repeated elaboration overhead per test.

Instances For
    Instances For

      Test-only instances

      Equations
        Instances For