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 suspensions.lisp. #59

Closed gheber closed 9 years ago

gheber commented 9 years ago

Done. f1ab0d4