Issues

• Version conflict

  UniMath/UniMath#2067 · Filter by author luiscresporuiz opened on Feb 10, 2026
  3

• CI: Homebrew

  CI
  UniMath/UniMath#2059 · Filter by author nmvdw opened on Jul 31, 2025

• Remove CONTENTS.md from make

  code change - just do
  UniMath/UniMath#2050 · Filter by author arnoudvanderleer opened on Jun 27, 2025

• Check for Coq 8.19 and 8.20 in CI

  UniMath/UniMath#2049 · Filter by author nmvdw opened on Jun 24, 2025
  6

• Proof folding not functional (anymore)

  code change - just do
  UniMath/UniMath#2034 · Filter by author arnoudvanderleer opened on Apr 28, 2025
  1

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

  UniMath/UniMath#2023 · Filter by author benediktahrens opened on Apr 9, 2025
  11

• Eliminate and regroup duplicate definitions in Adjunctions and Equivalences

  UniMath/UniMath#1983 · Filter by author arnoudvanderleer opened on Jan 29, 2025

• Make functor arguments of nat_trans_comp implicit

  code change - just do
  UniMath/UniMath#1981 · Filter by author arnoudvanderleer opened on Jan 25, 2025

• Eliminate duplicate definitions in CategoryTheory.Core

  code change - just do
  UniMath/UniMath#1977 · Filter by author arnoudvanderleer opened on Jan 22, 2025
  1

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

  code change - just do
  UniMath/UniMath#1976 · Filter by author arnoudvanderleer opened on Jan 22, 2025
  8

• CI job failing “Build Schools (Coq dev)”

  CI
  UniMath/UniMath#1973 · Filter by author peterlefanulumsdaine opened on Jan 20, 2025
  2

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

  UniMath/UniMath#1972 · Filter by author peterlefanulumsdaine opened on Jan 19, 2025
  4

  

• How much do we want to allow cleaning up Foundations?

  UniMath/UniMath#1970 · Filter by author peterlefanulumsdaine opened on Jan 18, 2025

• Deduplicate dirprodeq

  code change - just do
  UniMath/UniMath#1964 · Filter by author arnoudvanderleer opened on Dec 20, 2024
  1

• Activating all warnings gives many warnings about overridden notation

  UniMath/UniMath#1939 · Filter by author arnoudvanderleer opened on Sep 21, 2024

• Notation warnings

  UniMath/UniMath#1933 · Filter by author nmvdw opened on Sep 11, 2024
  2

• Consolidate contribution information

  UniMath/UniMath#1929 · Filter by author blinkybool opened on Sep 8, 2024
  7

• Automated universe checker

  UniMath/UniMath#1917 · Filter by author znssong opened on Aug 29, 2024
  3

• adapt header infos and section titles in package SubstitutionSystems after a reorganization

  UniMath/UniMath#1883 · Filter by author rmatthes opened on May 5, 2024
  2

  

• Coqdoc generation documentation and reduction

  UniMath/UniMath#1860 · Filter by author DenSinH opened on Mar 8, 2024
  1

• there are competing implementations of a full subcategory

  UniMath/UniMath#1770 · Filter by author rmatthes opened on Aug 28, 2023
  9

• Using PathOver in definitions and constructions of displayed things?

  UniMath/UniMath#1754 · Filter by author benediktahrens opened on Aug 14, 2023
  3

• Beta-reduction for pairs is problematic

  UniMath/UniMath#1713 · Filter by author rmatthes opened on Jun 7, 2023
  3

• Split the file DisplayedCats/BinProducts

  code change - just dogood first issue
  UniMath/UniMath#1710 · Filter by author nmvdw opened on Jun 5, 2023

• Use access functions instead of projections in UniMath/Bicategories/Limits/Examples/LimitsStructuredCategories

  UniMath/UniMath#1709 · Filter by author benediktahrens opened on Jun 5, 2023
  1