dignissimus / UntangleLinks

Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
26Updated 11 months ago

Alternatives and similar repositories for Untangle

Users that are interested in Untangle are comparing it to the libraries listed below

Sorting: