FP Launchpad members win prize at LeanLang Hackathon, IISc Bangalore
FP Launchpad researcher Vimala S. and PhD student Durwasa C. took 2nd prize at the LeanLang for Verified Autonomy Hackathon at IISc Bangalore. Read more on the blog.
FP Launchpad researcher Vimala S. and PhD student Durwasa C. took 2nd prize at the LeanLang for Verified Autonomy Hackathon at IISc Bangalore. Read more on the blog.