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

Recover ABSM-EXT-INT, ABSM-INT-EXT, and VERTEX-I from kan-test.lisp. #117

Closed gheber closed 8 years ago

gheber commented 8 years ago

This will resolve #113 , #114 , and #116.

gheber commented 8 years ago

54893a7