ebolloff

Need support for recent history exchange

6

It would be nice to use the recent history exchange or custom exchanges in general with BunnyMock.

Ontohub services

1

* Translate formula along signature morphism (hets) * Flatten a theory (hets) * Compute colimit of a network (hets) * Compute normal form of a structured OMS/graph (hets) * Syntax...