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

Kan hat -> horn #124

Open gheber opened 8 years ago

gheber commented 8 years ago

CHECK-HAT -> CHECK-HORN Update variable names, tests, Jupyter notebooks