Hacker News new | ask | show | jobs
by barkingcat 37 days ago
get LLM to write ADA and have it use SPARK for verification.