Search results

#'build-finite-ss launches interactive inspector

Status: Open.

#151 In gheber/kenzo;

· jcguu95 opened on Jan 5, 2025

Does kenzo support cohomology operations?

Status: Open.

#150 In gheber/kenzo;

· jcguu95 opened on Jan 4, 2025

Misnomer Cohomology-Class

Status: Open.

#149 In gheber/kenzo;

· jcguu95 opened on Jan 4, 2025

How to get K(A,n), for any finitely generated abelian group A?

Status: Open.

#148 In gheber/kenzo;

· jcguu95 opened on Jan 4, 2025

Has Bousfield-Kan been implemented?

Status: Open.

#147 In gheber/kenzo;

· jcguu95 opened on Jan 4, 2025

Make a new release?

documentation

Status: Open.

#129 In gheber/kenzo;

· miguelmarco opened on Jan 31, 2019

Can’t figure out how to run Kenzo

Status: Open.

#127 In gheber/kenzo;

· guillaumebrunerie opened on Oct 3, 2016

Chapter 15, Out[9]

Status: Open.

#125 In gheber/kenzo;

· gheber opened on Jul 4, 2016

Kan hat -> horn

documentation

enhancement

Status: Open.

#124 In gheber/kenzo;

· gheber opened on Apr 12, 2016

·  

Team Review

What's the cause of these SBCL warnings?

help wanted

question

Status: Open.

#123 In gheber/kenzo;

· gheber opened on Apr 5, 2016

·  

Team Review

Defect in CHANGE-CHCM-TO-CLGB (coalgebras.lisp)

bug

enhancement

Status: Open.

#122 In gheber/kenzo;

· gheber opened on Apr 5, 2016

Resolve the ASSOC conflict in Chapter11.ipynb

documentation

enhancement

question

Status: Open.

#121 In gheber/kenzo;

· gheber opened on Mar 13, 2016

·  

Team Review