https://pranavramesh2003.github.io/ Pranav Ramesh Research notes and updates from Pranav Ramesh YOCaml 2026-07-15T00:00:00Z Pranav Ramesh https://pranavramesh2003.github.io/ cs22b015@smail.iitm.ac.in https://pranavramesh2003.github.io//articles/LeanLang_Days3-5.html LeanLang Summer School - Days 3-5 2026-07-15T00:00:00Z Days 3-5 of the LeanLang Summer School https://pranavramesh2003.github.io//articles/LeanLang_Day2.html LeanLang Summer School - Day 2 2026-07-07T00:00:00Z Day 2 of the LeanLang Summer School https://pranavramesh2003.github.io//articles/LeanLang_Day1.html LeanLang Summer School - Day 1 2026-07-06T00:00:00Z Day 1 of the LeanLang Summer School https://pranavramesh2003.github.io//articles/EUROSys2026.html The EuroSys 2026 Experience 2026-05-22T00:00:00Z My experience attending the PaPoC Workshop co-hosted with the EuroSys 2026, held in Edinburgh, Scotland