Zulip Chat Archive

Stream: Is there code for X?

Topic: Rigs and rings

Kevin Buzzard (Jun 28 2020 at 01:13):

Do we have all this: https://github.com/UniMath/UniMath/blob/master/UniMath/Algebra/RigsAndRings.v Note documentation at the top

Johan Commelin (Jun 28 2020 at 04:14):

I think we do have it all.

Last updated: May 02 2025 at 03:31 UTC