Skip to content

Improvements to Univalence.agda#1237

Draft
anshwad10 wants to merge 3 commits intoagda:masterfrom
anshwad10:univalence
Draft

Improvements to Univalence.agda#1237
anshwad10 wants to merge 3 commits intoagda:masterfrom
anshwad10:univalence

Commits

Commits on Jul 27, 2025

Commits on Aug 16, 2025