arend-lang.github.io/assets/images/BaseSet-v1.10.0.svg

Preview meta tags from the arend-lang.github.io website.

  • General Meta Tags

    434
    • title
      Visualize as Orthogonal Diagram (A hierarchical class graph)
    • title
      FinGroup
    • title
      UniformLocale
    • title
      HeytingAlebra
    • title
      DiscreteOrderedField