Formal Conjectures

I contribute to Formal Conjectures, an open-source repository maintained by Google DeepMind collecting formalised statements of open mathematical conjectures in Lean 4, built on Mathlib.

I was invited to a workshop in London, hosted by Google, dedicated to expanding Google DeepMind’s Formal Conjectures repository, organised by Professor Kevin Buzzard.

My contributions: pull requests · commits

Project resources:

• Project home page
• GitHub repository