lean projects list

Stream: sphere eversion

[Alex J. Best]

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]

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