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.

Name		Name	Last commit message	Last commit date
Latest commit History 603 Commits
opetopic-core/src/main/scala/opetopic		opetopic-core/src/main/scala/opetopic
opetopic-docs/src/main/scala/opetopic/js/docs		opetopic-docs/src/main/scala/opetopic/js/docs
opetopic-js/src/main/scala/opetopic/js		opetopic-js/src/main/scala/opetopic/js
opetopic-lf/src/main/scala/opetopic/lf		opetopic-lf/src/main/scala/opetopic/lf
opetopic-multiedit/src/main/scala/opetopic/multiedit		opetopic-multiedit/src/main/scala/opetopic/multiedit
opetopic-play		opetopic-play
opetopic-studio/src/main/scala/opetopic/studio		opetopic-studio/src/main/scala/opetopic/studio
project		project
.gitignore		.gitignore
README.md		README.md
app.json		app.json
build.sbt		build.sbt

Provide feedback