An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
-
Updated
Aug 15, 2024 - Coq
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
VITRO-ASEMIC was cultivated with mouth bacteria, agar, Photoshop, Illustrator, and FontForge. The process started by digitizing three petri dishes that were marked in the forms of the seven Henderson’s typtoms in order to cultivate consciousness that is beyond the human.
The four HTML applets are part of the dissertation "Parallelized Approaches to Conformal Mappings with applications to real-time calligraphy" of Lena Polke at the Technical University of Munich. The code is written in CindyJS.
Add a description, image, and links to the ornaments topic page so that developers can more easily learn about it.
To associate your repository with the ornaments topic, visit your repo's landing page and select "manage topics."