Search results

Replace symbol for similarity

improve naming

Status: Open (in progress).

UniMath/agda-unimathnumber 1423

#1423 In UniMath/agda-unimath;

· fredrik-bakke opened on May 3, 2025

Change symbol for similarity

improve naming

questionFurther information is requestedFurther information is requested

Status: Open.

#1418 In UniMath/agda-unimath;

· fredrik-bakke opened on Apr 28, 2025

Let being an isomorphism be a property

category-theory

experiment

improve naming

questionFurther information is requestedFurther information is requested

Status: Draft (not ready).

UniMath/agda-unimathnumber 1071

#1071 In UniMath/agda-unimath;

· EgbertRijke opened on Mar 13, 2024

Rename <code>UU</code> to <code>Type</code>

improve naming

Status: Open.

#1067 In UniMath/agda-unimath;

· fredrik-bakke opened on Mar 12, 2024

· 

downtime