这是indexloc提供的服务,不要输入任何密码
Skip to content

Conversation

@chrisnruud
Copy link
Contributor

No description provided.

@Almenon
Copy link
Collaborator

Almenon commented May 30, 2022

Interesting proposal, but what if Terrance tao wants to contribute to this project? He has a erdos number of two, ruling him out. I propose we accept all people except those with a erdos number of 12.

@Almenon Almenon merged commit 84d629f into jezen:master Jul 15, 2022
@chrisnruud chrisnruud deleted the patch-1 branch July 25, 2022 12:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants