Escribe un comentario o lo que quieras sobre Coq (directo, no tienes que registrarte)
Comentarios (de más nuevos a más antiguos)