Globular: an online proof assistant for higher-dimensional rewriting · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1612.01093/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTGlobular: an online proof assistant for higher-dimensional rewriting — mentioned by mbidhttps://news.ycombinator.com/item?id=16503759urn:hackerpapers:mention:1612.01093:16503759Fri, 02 Mar 2018 17:37:09 GMT<p>There are some developments, for example &quot;Globular&quot;: https://arxiv.org/abs/1612.01093 I don&#x27;t think there is a proof assistant that&#x27;s really based on categorical foundations. I&#x27;d love to see something like that though.</p><p><a href="https://hackerpaper.kaipfister.de/p/1612.01093/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO