Documentation

Lean.Server.Test.Refs

source
def LeanServerTestRefsTest0 :
Type
Equations
    Instances For
      source
      def Lean.Server.Test.LeanServerTestRefsTest0' :
      Type
      Equations
        Instances For
          source
          def Lean.Server.Test.Refs.Test1 :
          Type
          Equations
            Instances For
              source
              def Lean.Server.Test.Refs.Test2 :
              Type
              Equations
                Instances For
                  source
                  def Lean.Server.Test.Refs.Test3 :
                  Type
                  Equations
                    Instances For
                      source
                      def Lean.Server.Test.Refs.Test4 :
                      Type
                      Equations
                        Instances For
                          source
                          def Lean.Server.Test.Refs.Test5 :
                          Type
                          Equations
                            Instances For
                              source
                              inductive Lean.Server.Test.Refs.Test6 :
                              Type
                              Instances For
                                source
                                def Lean.Server.Test.Refs.test7 :
                                Test6
                                Equations
                                  Instances For
                                    source
                                    def Lean.Server.Test.Refs.test8 :
                                    Test6
                                    Equations
                                      Instances For
                                        source
                                        def Lean.Server.Test.Refs.test9 :
                                        Test6
                                        Equations
                                          Instances For
                                            source
                                            def Lean.Server.Test.Refs.test10 :
                                            Test6
                                            Equations
                                              Instances For