Hacker News new | past | comments | ask | show | jobs | submit
rafaelRiv | on: LLMs are making formal software verification feasible at a much larger scale
This is my experience with llm and all dependent type language like idris2