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

Create two examples in Chapter 1 that show the use of DO-CONTROL #118

Open gheber opened 8 years ago

gheber commented 8 years ago

Insert after the description of (cmbn dgr cf1 gnr1 cf2 gnr2 ... cfn gnrn).