The Orchard proof assistant. Orchard is a graphical user interface for manipulating opetopic cells. It provides an implementation of a certain definition of opetopic higher category using pictorial representations of cells. --- I am no longer working on this version of my opetopic proof system. I have moved everything to a web based version to make it more easily accessible. The new project is called Opetopic.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Bar, Krzysztof; Kissinger, Aleks; Vicary, Jamie: Globular: an online proof assistant for higher-dimensional rewriting (2016)