3 ms·get LLM to write ADA and have it use SPARK for verification.by barkingcat 5mo agoget LLM to write ADA and have it use SPARK for verification.