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

Extract tests from ls-twisted-products.lisp. #53

Closed gheber closed 9 years ago

gheber commented 9 years ago

Done. f2da852