injective-type

There are 0 repository under injective-type topic.

• martinescardo / TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  agdacompact-typeconstructive-mathematicshomotopy-type-theoryinjective-typeordinalsearchable-settotally-separated-typetype-theoryunivalent-foundationsunivalent-mathematics
  Language:Agda 212