Project

Projet sur: Formalisations en Coq pour la decision de problemes en geometrie algebrique reelle

Université Chouaib Doukkali

Period: from 22-03-2020 to 22-03-2023

Link

l nisl duis ac nibh fusce lacus purus aliquet at feugiat non pretium quis lectus suspendisse potenti in eleifend quam a odio in hac habitasse platea dictumst maecenas

Manager