Bhavik Mehta

According to our database, Bhavik Mehta authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

2023

Formalising Sharkovsky's Theorem (Proof Pearl).

Bhavik Mehta

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Formalising the Kruskal-Katona Theorem in Lean.

Bhavik Mehta

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 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

2021

Formalizing Hall's Marriage Theorem in Lean.

Alena Gusakov, Bhavik Mehta, Kyle A. Miller

CoRR, 2021