Globular: an online proof assistant for higher-dimensional rewriting
From MaRDI portal
Publication:3130548
DOI10.23638/LMCS-14(1:8)2018zbMath1459.68227arXiv1612.01093MaRDI QIDQ3130548
Aleks Kissinger, Krzysztof Bar, Jamie Vicary
Publication date: 23 January 2018
Full work available at URL: https://arxiv.org/abs/1612.01093
Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (5)
String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ DisCoPy: Monoidal Categories in Python ⋮ Bicategorical type theory: semantics and syntax ⋮ Graphical calculus of Hopf crossed modules ⋮ Graphs, foams, tensors, polytopes, and homology
Uses Software
This page was built for publication: Globular: an online proof assistant for higher-dimensional rewriting
