Search for a command to run...
PyVeritas : Vérification de Python par transpilation basée sur les LLM et vérification bornée de modèles pour C