Get started
Author

Bhavik Mehta

Observed name: Mehta, Bhavik
Observed institution: University of Cambridge
ORCID: 0000-0001-7892-7891
Observed ORCID: 0000-0001-7892-7891
OpenAlex ID: A5037104580
Formalising Szemerédi’s Regularity Lemma in Lean
2021 · Gusakov, Alena, Mehta, Bhavik, et al. · arXiv (Cornell University) · 5
PDF
Formalising the Kruskal-Katona Theorem in Lean
2022 · Bhavik Mehta · Lecture notes in computer science · 3
Formalising Sharkovsky’s Theorem (Proof Pearl)
2023 · Bhavik Mehta · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 2
PDF
Works count: 3
Citation count: 10
H-index: 2
I10-index:
Year
Topic
Type