Globular
From MaRDI portal
Cited in
(25)- opetopy
- Cartographer
- DisCoPy
- jsCoq
- Quantomatic
- UniMath
- HoTT
- \textsf{Globular}: an online proof assistant for higher-dimensional rewriting
- XBarnacle
- TeNPy
- Orchard
- Graphs, foams, tensors, polytopes, and homology
- Coherence of Gray categories via rewriting
- DisCoPy: monoidal categories in Python
- scientific article; zbMATH DE number 7471699 (Why is no real title available?)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- Syntactic approaches to opetopes
- Graphical calculus of Hopf crossed modules
- Coherence for Frobenius pseudomonoids and the geometry of linear proofs
- Weak units, universal cells, and coherence via universality for bicategories
- Globular: an online proof assistant for higher-dimensional rewriting
- TensorNetwork
- CARTOGRAPHER: a tool for string diagrammatic reasoning (tool paper)
- Rewriting in Gray categories with applications to coherence
- ProofWidgets
This page was built for software: Globular
