#

ordinal

Here are 3 public repositories matching this topic...

martinescardo / TypeTopology

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

type-theory agda ordinal homotopy-type-theory univalent-foundations constructive-mathematics compact-type totally-separated-type injective-type searchable-set univalent-mathematics

Updated Nov 10, 2024
Agda

choukh / agda-veblen

veblen function in agda

mathematics agda formalization ordinal mathematical-logic ordinal-numbers googology

Updated Jun 24, 2024
Agda

st-tt-ordinals / agda

Agda development of the paper "Set-Theoretic and Type-Theoretic Ordinals Coincide"

set-theory agda ordinal homotopy-type-theory

Updated Jan 23, 2023
Agda

Improve this page

Add a description, image, and links to the ordinal topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ordinal topic, visit your repo's landing page and select "manage topics."