Zulip Chat Archive

Stream: Lean for the curious mathematician 2020

Topic: Participants List

Philip Vetter (Jul 17 2020 at 08:03):

https://github.com/leanprover-community/lftcm2020/pull/57
seems to have been inadvertently overwritten by the next pull request.

Johan Commelin (Jul 17 2020 at 08:03):

Thanks, I'll fix it!

Philip Vetter (Jul 17 2020 at 08:04):

Thank you!

Johan Commelin (Jul 17 2020 at 08:09):

@Philip Vetter Fixed: https://github.com/leanprover-community/lftcm2020/commit/ba84e586c9db2afc27591c60c013659aaee5f0eb

Philip Vetter (Jul 17 2020 at 08:10):

You are efficient!

Last updated: Dec 20 2023 at 11:08 UTC