GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Bug in ModulePresentations

#1744

· kamalsaleh opened

on Jun 13, 2025

Optimizations in GeneralizedMorphismsForCAP probably do not fulfill the specifications

#1669

· zickgraf opened

on Sep 11, 2024

Review of the formalizations of the specifications of CAP operations and properties

#1555

· zickgraf opened

on Dec 19, 2023

Officially support "Target" instead of "Range"

#1502

· zickgraf opened

on Nov 16, 2023

Avoid race conditions between resolving methods

#1498

· mohamed-barakat opened

on Oct 30, 2023

Derive limit instead of colimit operations

#1472

· mohamed-barakat opened

on Sep 30, 2023

The more categories are created, the slower the creation of new categories gets

#1469

· zickgraf opened

on Sep 26, 2023

Broken if-statement

#1436

· mohamed-barakat opened

on Aug 20, 2023

Rename AdditiveClosure into StrictAdditiveClosure

#1426

· mohamed-barakat opened

on Aug 16, 2023

Remove IsCongruentForMorphisms from the record entry EveryCategory

#1380

· mohamed-barakat opened

on Jul 10, 2023

Use filter list entry <code>n_tuple_of_morphism</code> at more places

#1343

· zickgraf opened

on Jun 7, 2023

Add and use filter list entry <code>n_tuple_of_objects</code>

#1342

· zickgraf opened

on Jun 7, 2023

0