Search results

Enable --lossy-unification globally?

questionFurther information is requestedFurther information is requested

tooling

Status: Open.

#1267 In UniMath/agda-unimath;

· fredrik-bakke opened on Feb 4, 2025

Target: apartness algebras and their antisubalgebras

commutative-algebra

group-theory

ring-theory

Status: Open.

#1239 In UniMath/agda-unimath;

· djspacewhale opened on Jan 21, 2025

Inline code should scale with font size

help wantedExtra attention is neededExtra attention is needed

website

Status: Open.

#1235 In UniMath/agda-unimath;

· fredrik-bakke opened on Jan 13, 2025

Excessive margins on mobile

help wantedExtra attention is neededExtra attention is needed

website

Status: Open.

#1220 In UniMath/agda-unimath;

· fredrik-bakke opened on Nov 7, 2024

List of notable theorems

formalization-target

Status: Open.

#1214 In UniMath/agda-unimath;

· EgbertRijke opened on Oct 28, 2024

Mdbook doesn't render links in headers in the right-hand bar

invalidThis doesn't seem rightThis doesn't seem right

questionFurther information is requestedFurther information is requested

website

Status: Open.

#1204 In UniMath/agda-unimath;

· fredrik-bakke opened on Oct 19, 2024

Undetected ill-formed macro invocations

bugSomething isn't workingSomething isn't working

CI

Status: Open.

#1200 In UniMath/agda-unimath;

· fredrik-bakke opened on Oct 17, 2024

Search engine support

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

website

Status: Open.

#1194 In UniMath/agda-unimath;

· fredrik-bakke opened on Oct 10, 2024

References for citations vs. further reading

documentationImprovements or additions to documentationImprovements or additions to documentation

formatting

Status: Open.

#1164 In UniMath/agda-unimath;

· fredrik-bakke opened on Aug 21, 2024

Functoriality of the pullback-hom

foundation

orthogonal-factorization-systems

wild-category-theory

Status: Open.

#1134 In UniMath/agda-unimath;

· fredrik-bakke opened on Apr 28, 2024

Document external dependencies for building the website

documentationImprovements or additions to documentationImprovements or additions to documentation

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#1132 In UniMath/agda-unimath;

· VojtechStep opened on Apr 27, 2024

Prove uniqueness of homotopy and equivalence induction

foundation

good first issueGood for newcomersGood for newcomers

Status: Open.

#1123 In UniMath/agda-unimath;

· fredrik-bakke opened on Apr 20, 2024