Not registered as user yet

Name:Mayank Keoliya
Affiliation:National University of Singapore

Contributions

PLDI 2023 Mostly-Automated Proof Repair for Verified Libraries
Show activities from other conferences

Using general profile