Clay Flower Creation Based on Homotopy Type Theory.

Kenji Ohmori, Tosiyasu L. Kunii

Browse the full CW paper archive.