issues
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 lp-space-efhm.lisp.
#52
Closed
gheber
closed
9 years ago
gheber
commented
9 years ago
Done. 0b92982
Done. 0b92982