Mission pour un projet en COQ, urgent!

Nous recherchons un expert en informatique maîtrisant Coq Proof Assistant pour réaliser un projet à venir. Le projet impliquera de travailler sur une mission informatique qui nécessite une solide connaissance de la programmation logique, ainsi que d'autres compétences informatiques pertinentes. Certains travaux sont déjà effectués. Le but est d'améliorer le modèle en coq et de terminer la preuve. C'est un petit projet.

Le projet devrait être achevé en moins d'un mois.

Si vous pensez que vous seriez un bon candidat pour ce projet, veuillez soumettre une proposition qui décrit votre expérience, vos compétences et comment vous pouvez nous aider à mener à bien ce projet.