Connecting Constructive Notions of Ordinals in Homotopy Type Theory
Project: CID
Updated at: 28-04-2024
Show more
information
Project acronym
CID