Stream: CUDW 2020

Topic: WG: MathComp lemma naming


view this post on Zulip Karl Palmskog (Dec 03 2020 at 15:17):

@Cyril Cohen how about discussing lemma/definition naming suggestion (integration, etc.) Friday morning 10:30am?

view this post on Zulip Karl Palmskog (Dec 03 2020 at 15:22):

(my only unavailable times Friday are 1pm-2pm and 5pm-6pm)

view this post on Zulip Cyril Cohen (Dec 03 2020 at 16:55):

@Karl Palmskog I have no availability left tomorrow. We'll have to meet outside of the CUDW, sorry...

view this post on Zulip Karl Palmskog (Dec 03 2020 at 16:56):

@Cyril Cohen OK, can you suggest some time next week then maybe?

view this post on Zulip Enrico Tassi (Dec 03 2020 at 17:01):

@Cyril Cohen your names were bad :P

view this post on Zulip Cyril Cohen (Dec 03 2020 at 18:23):

Karl Palmskog said:

Cyril Cohen OK, can you suggest some time next week then maybe?

How about Tuesday December 8th, 2pm?

view this post on Zulip Cyril Cohen (Dec 03 2020 at 18:24):

Enrico Tassi said:

Cyril Cohen your names were bad :P

Which names?

view this post on Zulip Karl Palmskog (Dec 03 2020 at 18:30):

How about Tuesday December 8th, 2pm?

This works well for me.


Last updated: Mar 28 2024 at 15:01 UTC