leanprover-community / mathlib

Home
Zulip archive
API documentation
Lean web editor
Links

Zulip Chat Archive

Stream: Is there code for X?

Topic: Double categories

Patrick Nicodemus (Nov 10 2025 at 00:39):

Is anyone working on weak double categories?

Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll