Login / Signup
Bhavik Mehta
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Scheduling Problem
Von Neumann
Johnson Lindenstrauss
Proof Search
Top Venues
ITP
CoRR
CPP
CICM
</>
Publications
</>
Bhavik Mehta
Formalising Sharkovsky's Theorem (Proof Pearl).
CPP
(2023)
Bhavik Mehta
Formalising the Kruskal-Katona Theorem in Lean.
CICM
(2022)
Yaël Dillies
,
Bhavik Mehta
Formalising Szemerédi's Regularity Lemma in Lean.
ITP
(2022)
Alena Gusakov
,
Bhavik Mehta
,
Kyle A. Miller
Formalizing Hall's Marriage Theorem in Lean.
CoRR
(2021)