# Bienvenidos a ¡Rocq en español!

**URL:** <https://discourse.rocq-prover.org/t/bienvenidos-a-rocq-en-espanol/148>\
**Category:** \[es\] ¡Rocq en español!\
**Created:** [February 25, 2019, 6:07pm UTC](https://discourse.rocq-prover.org/t/bienvenidos-a-rocq-en-espanol/148 "2019-02-25T18:07:36Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![ejgallego](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/ejgallego/32/10_2.png) [@ejgallego](https://discourse.rocq-prover.org/u/ejgallego)\
**Post date:** [February 25, 2019, 6:07pm UTC](https://discourse.rocq-prover.org/t/bienvenidos-a-rocq-en-espanol/148/1 "2019-02-25T18:07:36Z")

</div>

¡Hola a todas! Bienvenidas al foro de discusión sobre Rocq en español.

Cómo ya bien sabréis, Rocq es un software para la realización de **demostraciones asistidas por ordenador**. El equipo de desarrollo de Rocq os desea muchos momentos de **diversión y aprendizaje** con esta maravillosa herramienta que ya ha cumplido más de 40 años de historia.

Esta parte del foro en español, o castellano, está dedicada a todas y todos aquellos que quieran hablar y preguntar sobre Rocq, y se sientan más cómodos usando este nuestro idioma.

No hay una temática concreta para el subforo, cualquier tipo de pregunta o comentario es bienvenido; no obstante no está demás recordar que, como es norma en el mundo de la investigación, las discusiones de alto contenido técnico tienden a ocurrir en la parte angloparlante del foro.

Las normas de convivencia del foro se rigen por el **[código de conducta](https://github.com/coq/coq/blob/master/CODE_OF_CONDUCT.md)** general del projecto Rocq. Se pueden resumir de una manera muy sencilla, intentemos divertirnos y respetar a todo el mundo.

**Algunos datos sobre Rocq** :

- Rocq fue creado sobre el año 1983 en el instituto de investigación francés Inria.
- Rocq ha sido utilizado para varios proyectos pioneros, por ejemplo el compilador verificado CompCert, o las demostraciones del “Teorema de los cuatro colores” y el “Teorema de Feit-Thompson”

---

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [February 25, 2019, 6:11pm UTC](https://discourse.rocq-prover.org/t/bienvenidos-a-rocq-en-espanol/148/2 "2019-02-25T18:11:20Z")

</div>

Closed on February 25, 2019, 6:11pm UTC