Yaël Dillies

According to our database, Yaël Dillies authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2022

Formalising Szemerédi's Regularity Lemma in Lean.

Yaël Dillies, Bhavik Mehta

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022