A fork of the experimental library for Cubical Agda

Branches

• The master branch is kept up to date with the master branch of agda/cubical. It only differs in the file README.md
• The dev branch contains the latest experiments and code.
• The thesis branch contains the latest code as used for the master thesis [...].
• The xmodule branch contains an obsolete attempt at proving the equivalence of crossed modules and strict 2-groups directly.
• Other branches are temporary.

Maintainers

• Johannes Schipp von Branitz
• Ulrik Buchholtz