Mantas Bakšys - POPL 2023 (original) (raw)

POPL 2023 (series) / Mantas Bakšys

• conf.research.org general profile
• POPL 2026 profile

Not registered as user

Name:Mantas Bakšys

Affiliation:University of Cambridge

Contributions

2023

CPP

• A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL

Show activities from other conferences

Share

POPL 2023-profile
View general profile