Introducing myself: Ian Jauslin

Stream: new members

[Ian Jauslin]

Hello all,
My name is Ian Jauslin, I'm a professor in math at Rutgers University.

I am planning on working with Alex Kontorovich on formalizing proofs of Bell's inequalities (which are a result in probability theory that is relevant to the 2022 Nobel prize in Physics). Does that sound interesting enough to be added to mathlib?

Could I get access to the bells_inequality branch on the mathib github? My github username is ianjauslin-rutgers.

[Bolton Bailey]

@maintainers

[Bolton Bailey]

And Ian, you might be interested in docs#tsirelson_inequality

[Ian Jauslin]

Yes indeed, this is very relevant! I will have a look at the Tsirelson inequality. Thanks!

[Bryan Gin-ge Chen]

@Ian Jauslin Invite sent! https://github.com/leanprover-community/mathlib/invitations