search

bzg / logiciel-libre-esr

Ressources autour du logiciel libre dans l'enseignement supérieur et la recherche
Other
28 stars 15 forks source link

Coq est listé deux fois #33

Closed ldidry closed 5 years ago

bzg commented 5 years ago

Merci !