Jeremy Gibbonsjer_gib@functional.cafe
Sep 16, 2025, 1:10 PMTwo postdocs in Tokyo, working with Taro Sekiyama on proof assistants, type systems, program logics, refinement, verification. https://hackmd.io/@TaroSekiyama/H1ewltLsxx
Two postdocs in Tokyo, working with Taro Sekiyama on proof assistants, type systems, program logics, refinement, verification. https://hackmd.io/@TaroSekiyama/H1ewltLsxx