Artifact
dignissimus/Untangle Software
Author
- Part of: Collection: Supplementary Materials
- License: MIT License
- Publication Date: 2024-11-28
Document Identifiers
Content
- Software (Source Code): https://github.com/dignissimus/Untangle
Version/Status
- Content created at: 2024-03-06
- Status: Active (at the time of publication 2024-11-28)
Cite As Get BibTex
Sam Ezeh. dignissimus/Untangle (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22494
Description
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
Subject Classification
Programming Languages
- Lean
- JavaScript
- TeX
- Dockerfile
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)