Zulip Chat Archive

Stream: new members

Topic: Introduction: Timothy Chow

Timothy Chow (Feb 12 2022 at 04:09):

Hello! My name is Timothy Chow. Some of you might recognize my name from MathOverflow. The reason I decided to join this forum at this time is that I have been having some discussions with Randall Holmes about the possibility of formalizing his proof of the consistency of NF in Lean. I will say more about that over in the maths stream.

Johan Commelin (Feb 12 2022 at 07:15):

@Timothy Chow Welcome to this Zulip! Great to have your here!

Last updated: Dec 20 2023 at 11:08 UTC