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

The function ABSM-EXT-INT seems to have disappeared. #114

Closed gheber closed 8 years ago

gheber commented 8 years ago

See the failures in Chapter7.ipynb.