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

'kan-test' failure #134

Closed gheber closed 5 years ago

gheber commented 5 years ago 
The function CAT-8:ABSM-INT-EXT is undefined.
gheber commented 5 years ago

Fixed in fe7f3d63b67602b97f2aa7ed26d0ac97a5c6a107.