Periodic Reporting for period 1 - ForCUTT (Formalisation of Constructive Univalent Type Theory)
Project: ForCUTT
Updated at: 01-10-2025
Show more
information
Project acronym
ForCUTT