Zulip Chat Archive

Stream: sphere eversion

Topic: lean projects list

Alex J. Best (Sep 23 2022 at 08:25):

Does someone want to add sphere eversion (and a brief description) to https://github.com/leanprover-contrib/leanprover-contrib/blob/master/projects/projects.yml so it shows up on https://leanprover-community.github.io/lean_projects.html?

Floris van Doorn (Sep 23 2022 at 14:45):

Thanks for mentioning this. I added it: leanprover-contrib/leanprover-contrib#20

Last updated: Dec 20 2023 at 11:08 UTC