Zulip Chat Archive

Stream: general

Topic: unfreeze_local_instances


view this post on Zulip Patrick Massot (Feb 27 2018 at 13:36):

Should we reply to https://github.com/leanprover/lean/issues/1920#issuecomment-368691909 ? I'd like someone to thank Leo, but I'm not sure what would upset him more (I could thank him myself, but discovering some new Lean user could be upsetting).

view this post on Zulip Simon Hudon (Feb 27 2018 at 16:11):

I don't think he's that volatile. He's a very nice guy despite the way he's portrayed here :P a couple of weeks ago I decided to write him an email to tell him how amazing Lean is and thank him. He seemed happy about it

view this post on Zulip Patrick Massot (Feb 27 2018 at 17:51):

Ok, I tried my luck.

view this post on Zulip Simon Hudon (Feb 27 2018 at 18:48):

Now to wait and see the reaction ... eats pop corn :wink:


Last updated: May 11 2021 at 22:14 UTC