Globular: an online proof assistant for higher-dimensional rewriting
This article introduces Globular, an online proof assistant for the formalization and verification of proofs in higher-dimensional category theory. The tool produces graphical visualizations of higher-dimensional proofs, assists in their construction with a point-and- click interface, and performs t...
Main Authors: | Bar, K, Kissinger, A, Vicary, J |
---|---|
Format: | Journal article |
Published: |
Logical Methods in Computer Science e.V.
2018
|
Similar Items
-
Globular: an online proof assistant for higher-dimensional rewriting
by: Vicary, J, et al.
Published: (2016) -
Globular: an online proof assistant for higher-dimensional rewriting
by: Krzysztof Bar, et al.
Published: (2018-01-01) -
Automated rewriting for higher categories and applications to quantum theory
by: Bar, K
Published: (2016) -
Pattern Graph Rewrite Systems
by: Kissinger, A, et al.
Published: (2012) -
String diagram rewrite theory II: rewriting with symmetric monoidal structure
by: Bonchi, F, et al.
Published: (2022)