Parse types in Coq
Cerrado
Publicado
hace 6 años
Pagado a la entrega
$60 USD
Pagado a la entrega
Cerrado
Pagado a la entrega
COQ is actually preferred but not listed as a skill.
Nº del proyecto: #14049908
Sobre el proyecto
Proyecto remoto
Activo hace 6 años