Zulip Chat Archive
Stream: PR reviews
Topic: !4#4357 coherence tactic
Scott Morrison (May 27 2023 at 16:25):
This is meta code (the coherence tactic for monoidal categories), but holding up theory files, so it would be nice if someone could review soon.
Last updated: Dec 20 2023 at 11:08 UTC