Zulip Chat Archive
Stream: FLT-regular
Topic: lean projects board
Johan Commelin (Dec 10 2021 at 14:13):
It would be good to have FLT-regular on this list: https://leanprover-community.github.io/lean_projects.html
Chris Birkbeck (Dec 10 2021 at 14:14):
Yeah I think that would be good
Chris Birkbeck (Dec 10 2021 at 14:15):
(if everyone else agrees)
Chris Birkbeck (Dec 10 2021 at 14:16):
Also, I don't know how to add things to that list.
Riccardo Brasca (Dec 10 2021 at 14:18):
Great idea!
Ruben Van de Velde (Dec 10 2021 at 14:18):
To add a project to this list, please see the directions at the leanprover-contrib repository.
Chris Birkbeck (Jan 11 2022 at 09:37):
I've also been meaning to look at how to do this
Alex J. Best (Jan 21 2022 at 16:33):
I just made https://github.com/leanprover-contrib/leanprover-contrib/pull/12 to add this, with @Riccardo Brasca @Eric Rodriguez @Chris Birkbeck and me as maintainers (based on material added so far). If anyone has any suggestions for the wording of the description, or would like (or not like) to be listed as a maintainer let me know here or there :smile:.
Chris Birkbeck (Jan 21 2022 at 16:40):
Oh thank you for doing this. It looks good to me!
Riccardo Brasca (Jan 21 2022 at 16:47):
Thanks!
Johan Commelin (Dec 10 2021 at 14:13):
It would be good to have FLT-regular on this list: https://leanprover-community.github.io/lean_projects.html
Chris Birkbeck (Dec 10 2021 at 14:14):
Yeah I think that would be good
Chris Birkbeck (Dec 10 2021 at 14:15):
(if everyone else agrees)
Chris Birkbeck (Dec 10 2021 at 14:16):
Also, I don't know how to add things to that list.
Riccardo Brasca (Dec 10 2021 at 14:18):
Great idea!
Ruben Van de Velde (Dec 10 2021 at 14:18):
To add a project to this list, please see the directions at the leanprover-contrib repository.
Chris Birkbeck (Jan 11 2022 at 09:37):
I've also been meaning to look at how to do this
Alex J. Best (Jan 21 2022 at 16:33):
I just made https://github.com/leanprover-contrib/leanprover-contrib/pull/12 to add this, with @Riccardo Brasca @Eric Rodriguez @Chris Birkbeck and me as maintainers (based on material added so far). If anyone has any suggestions for the wording of the description, or would like (or not like) to be listed as a maintainer let me know here or there :smile:.
Chris Birkbeck (Jan 21 2022 at 16:40):
Oh thank you for doing this. It looks good to me!
Riccardo Brasca (Jan 21 2022 at 16:47):
Thanks!
Last updated: Dec 20 2023 at 11:08 UTC