Ashish Mishra
  • about
  • publications
  • projects
  • teaching
  • students

Announcement_18

April 17, 2026

2026

Recent Talk on Refinement Types at LeanLang Hackathon by Emergence AI India.

© Copyright 2026 Ashish Mishra. Powered by Jekyll with al-folio theme.