issues
search
gheber
/
kenzo
A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
File :ne in test/kenzo-9
#146
Yehouda
closed
4 years ago
1
Kenzo 7,8,9
#145
gheber
closed
5 years ago
0
`whitehead-test` failures
#144
gheber
closed
5 years ago
2
`special-smsts-test` failure
#143
gheber
closed
5 years ago
2
`smith-test`failure
#142
gheber
closed
5 years ago
2
`serre-test` failure
#141
gheber
closed
5 years ago
2
`eilenberg-zilber-test` failure
#140
gheber
closed
5 years ago
3
`disk-pasting-test` failure
#139
gheber
closed
5 years ago
2
`cs-twisted-products-test` failure
#138
gheber
closed
5 years ago
2
`cl-space-efhm-test` failures
#137
gheber
closed
5 years ago
1
Kenzo-8
#136
gheber
closed
5 years ago
1
Add nickname KENZO to package CAT
#135
phoe
closed
5 years ago
4
'kan-test' failure
#134
gheber
closed
5 years ago
1
'delta-test' failures
#133
gheber
closed
5 years ago
8
'cobar-test' failures
#132
gheber
closed
5 years ago
1
'chain-complexes-test' failures
#131
gheber
closed
5 years ago
0
'bar-test' failures
#130
gheber
closed
5 years ago
1
Make a new release?
#129
miguelmarco
opened
5 years ago
10
Does not build in sbcl 1.4.10 - type inference issue
#128
quicklisp
closed
5 years ago
3
Can’t figure out how to run Kenzo
#127
guillaumebrunerie
opened
7 years ago
3
not an issue
#126
dimpase
closed
5 years ago
3
Chapter 15, Out[9]
#125
gheber
opened
8 years ago
0
Kan hat -> horn
#124
gheber
opened
8 years ago
0
What's the cause of these SBCL warnings?
#123
gheber
opened
8 years ago
6
Defect in CHANGE-CHCM-TO-CLGB (coalgebras.lisp)
#122
gheber
opened
8 years ago
0
Resolve the ASSOC conflict in Chapter11.ipynb
#121
gheber
opened
8 years ago
0
The DEF macro fails for an even number (> 2) of arguments.
#120
gheber
opened
8 years ago
0
Check all notebooks for LaTex/PDF conversion errors.
#119
gheber
closed
8 years ago
1
Create two examples in Chapter 1 that show the use of DO-CONTROL
#118
gheber
opened
8 years ago
0
Recover ABSM-EXT-INT, ABSM-INT-EXT, and VERTEX-I from kan-test.lisp.
#117
gheber
closed
8 years ago
1
The function ABSM-INT-EXT appears to be missing in Chapter 10.
#116
gheber
closed
8 years ago
0
Travis CI build failure with SBCL32
#115
gheber
closed
4 years ago
0
The function ABSM-EXT-INT seems to have disappeared.
#114
gheber
closed
8 years ago
0
The function VERTEX-I seems to have disappeared.
#113
gheber
closed
8 years ago
1
The function TNPR-P seems to have disappeared.
#112
gheber
closed
8 years ago
1
kenzo cannot run properly in Clozure CL
#111
yoyostein
closed
8 years ago
3
Investigate Travis build failure with ECL.
#110
gheber
opened
8 years ago
0
Test failures as of commit c42b178
#109
gheber
closed
4 years ago
4
CS-HAT-U-T test fails.
#108
gheber
closed
8 years ago
1
CS-PRE-LEFT-HMEQ-LEFT-REDUCTION test fails.
#107
gheber
opened
8 years ago
0
SUSPENSION-FACE test failure with CLISP 2.49
#106
gheber
opened
8 years ago
0
Quicklisp install fails in clisp
#105
adhalanay
opened
8 years ago
2
smith.lisp
#104
gheber
closed
8 years ago
0
whitehead.lisp
#103
gheber
closed
8 years ago
0
cl-space-efhm.lisp
#102
gheber
closed
8 years ago
0
cs-twisted-products.lisp
#101
gheber
closed
8 years ago
0
serre.lisp
#100
gheber
closed
8 years ago
0
k-pi-n.lisp
#99
gheber
closed
8 years ago
0
classifying-spaces.lisp
#98
gheber
closed
8 years ago
0
lp-space-efhm.lisp
#97
gheber
closed
8 years ago
0
Next