200hours to work on Quantum Physics in Lean via Graph Theory

Stream: job postings

[Mario Krenn]

Hello!
I am supporting the formalization of certain Graph Theory statements, which are closely related to work in quantum physics.

Concretely I am funding 200hours (a 25$) to work on this topic. It might be specifically interesting for undergraduates with experience in Lean, but everybody is invited to apply.

Please find the details here:
https://mariokrenn.wordpress.com/2021/10/24/quantum-physics-in-lean/

I would be excited to have some concrete math of quantum optics formalized in Lean!

Looking forward to your messages,
Mario