Contact Us

If you want to get in touch, you can reach us at:

• Email:
• Twitter: @QFormalInit
• Zulip: Drop in the #Quantum Information channel on the Lean zulip