Search results

Remove <code>CONTENTS.md</code> from <code>make</code>

Status: Open.

#2050 In UniMath/UniMath;

· arnoudvanderleer opened on Jun 27, 2025

Check for Coq 8.19 and 8.20 in CI

Status: Open.

#2049 In UniMath/UniMath;

· nmvdw opened on Jun 24, 2025

Proof folding not functional (anymore)

Status: Open.

#2034 In UniMath/UniMath;

· arnoudvanderleer opened on Apr 28, 2025

Build system for UniMath/Schools is not working and needlessly complicated

Status: Open.

#2023 In UniMath/UniMath;

· benediktahrens opened on Apr 9, 2025

Eliminate and regroup duplicate definitions in <code>Adjunctions</code> and <code>Equivalences</code>

Status: Open.

#1983 In UniMath/UniMath;

· arnoudvanderleer opened on Jan 29, 2025

Make functor arguments of <code>nat_trans_comp</code> implicit

code change - just do

Status: Open.

#1981 In UniMath/UniMath;

· arnoudvanderleer opened on Jan 25, 2025

Eliminate duplicate definitions in CategoryTheory.Core

code change - just do

Status: Open.

#1977 In UniMath/UniMath;

· arnoudvanderleer opened on Jan 22, 2025

Make the lemmas about an equality involving pre-/postcomposition of an iso more consistent

code change - just do

Status: Open.

#1976 In UniMath/UniMath;

· arnoudvanderleer opened on Jan 22, 2025

CI job failing “Build Schools (Coq dev)”

CI

Status: Open.

#1973 In UniMath/UniMath;

· peterlefanulumsdaine opened on Jan 20, 2025

Move closed (resp. postfix) notations to level 0 (resp. 1)?

Status: Open.

#1972 In UniMath/UniMath;

· peterlefanulumsdaine opened on Jan 19, 2025

How much do we want to allow cleaning up Foundations?

Status: Open.

#1970 In UniMath/UniMath;

· peterlefanulumsdaine opened on Jan 18, 2025

Deduplicate <code>dirprodeq</code>

code change - just do

Status: Open.

#1964 In UniMath/UniMath;

· arnoudvanderleer opened on Dec 20, 2024