Documentation

ProofWidgets.Component.GraphDisplay

source
@[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
abbrev ProofWidgets.GraphDisplay.mkCircle (attrs : Array (String × Lean.Json) := #[]) :
Html
Equations
Instances For
    source
    @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
    abbrev ProofWidgets.GraphDisplay.BoundingShape :
    Type
    Equations
    Instances For
      source
      @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
      abbrev ProofWidgets.GraphDisplay.Vertex :
      Type
      Equations
      Instances For
        source
        @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
        abbrev ProofWidgets.GraphDisplay.Edge :
        Type
        Equations
        Instances For
          source
          @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
          abbrev ProofWidgets.GraphDisplay.ForceCenterParams :
          Type
          Equations
          Instances For
            source
            @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
            abbrev ProofWidgets.GraphDisplay.ForceCollideParams :
            Type
            Equations
            Instances For
              source
              @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
              abbrev ProofWidgets.GraphDisplay.ForceLinkParams :
              Type
              Equations
              Instances For
                source
                @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
                abbrev ProofWidgets.GraphDisplay.ForceManyBodyParams :
                Type
                Equations
                Instances For
                  source
                  @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
                  abbrev ProofWidgets.GraphDisplay.ForceXParams :
                  Type
                  Equations
                  Instances For
                    source
                    @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
                    abbrev ProofWidgets.GraphDisplay.ForceYParams :
                    Type
                    Equations
                    Instances For
                      source
                      @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
                      abbrev ProofWidgets.GraphDisplay.ForceRadialParams :
                      Type
                      Equations
                      Instances For
                        source
                        @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
                        abbrev ProofWidgets.GraphDisplay.ForceParams :
                        Type
                        Equations
                        Instances For
                          source
                          @[reducible, inline, deprecated "Namespace moved to ForceGraphDisplay." (since := "2026-06-25")]
                          abbrev ProofWidgets.GraphDisplay.Props :
                          Type
                          Equations
                          Instances For
                            source
                            @[deprecated ProofWidgets.ForceGraphDisplay (since := "2026-06-25")]
                            def ProofWidgets.GraphDisplay :
                            Component GraphDisplay.Props
                            Equations
                            Instances For