Opetopic

Opetopic is a collection of web based tools for working with opetopic higher categories. Currently there are two tools available

A SketchPad for drawing and exporting diagrams
A Prover which is a graphical interface to an underlying type theory extended with opetopic expressions

You can play with an online demonstration here.

Type	Name	Latest commit message	Commit time
	Failed to load latest commit information.
	examples
	opetopic-addrexplorer/src/main/scala/opetopic/js/addrexplorer
	opetopic-coloredit/src/main/scala/opetopic/js/coloredit
	opetopic-core/src/main/scala/opetopic
	opetopic-docs/src/main/scala/opetopic/js/docs
	opetopic-js/src/main/scala/opetopic/js
	opetopic-lambda/src/main/scala/opetopic/lambda
	opetopic-mtt/src/main/scala/opetopic/mtt
	opetopic-multiedit/src/main/scala/opetopic/js/multiedit
	opetopic-play
	opetopic-prover/src/main/scala/opetopic/js/prover
	opetopic-sketchpad/src/main/scala/opetopic/js/sketchpad
	opetopic-studio/src/main/scala/opetopic/studio
	opetopic-tt
	project
	.gitignore
	README.md
	app.json
	build.sbt

ericfinster/opetopic