Search results

Remove two Time commands

Status: Open.

#249 In UniMath/TypeTheory;

· arnoudvanderleer opened on Dec 20, 2024

does not compile with Coq 8.20 release candidate 1

Status: Open.

#245 In UniMath/TypeTheory;

· rmatthes opened on Jul 1, 2024

Remove dependency on Coq.Init.Logic

Status: Open.

#235 In UniMath/TypeTheory;

· m-lindgren opened on Mar 7, 2023

PR#224 not yet fully satisfying

Status: Open.

#225 In UniMath/TypeTheory;

· rmatthes opened on Oct 27, 2022

Slow type-checking: replace admitted by proof

Status: Open.

#204 In UniMath/TypeTheory;

· benediktahrens opened on Jan 13, 2022

Upstreaming some of the material in Auxiliary to UniMath/UniMath?

Status: Open.

#203 In UniMath/TypeTheory;

· benediktahrens opened on Jan 13, 2022

Put notations in scope or make them local

Status: Open.

#109 In UniMath/TypeTheory;

· benediktahrens opened on Jun 15, 2017

Rename identifiers for categories to adhere to convention suggested by VV

Status: Open.

#102 In UniMath/TypeTheory;

· benediktahrens opened on May 4, 2017

Improve compilation instructions in README

Status: Open.

#57 In UniMath/TypeTheory;

· benediktahrens opened on Mar 11, 2017

Naming: structure vs property

Status: Open.

#22 In UniMath/TypeTheory;

· benediktahrens opened on Oct 10, 2016

Make code quality/cleaning pass over files

Status: Open.

#16 In UniMath/TypeTheory;

· peterlefanulumsdaine opened on Oct 5, 2016

Add careful refs for definitions in OtherDefs files

Status: Open.

#9 In UniMath/TypeTheory;

· peterlefanulumsdaine opened on Oct 4, 2016