Comment by barkingcat

get LLM to write ADA and have it use SPARK for verification.