[es] ¡Rocq en español!
Anuncios Podéis usar esta categoría para realizar cualquier tipo de anuncio de interés a la communidad Rocq en español.
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Eventos y grupos de usuarios
Hagamos una recopilacion de eventos periódicos y grupos de usuarios en el mundo cuyo lenguaje principal es el castellano. |
|
6 | 1044 | April 12, 2020 |
| Bienvenidos a ¡Rocq en español! |
|
0 | 788 | February 25, 2019 |
| Software Foundations/ Verified Functional Algorithms Ejercicio |
|
0 | 621 | September 17, 2020 |
| Curso de verano de verificación en Coq en Zaragoza |
|
0 | 716 | May 14, 2020 |
| Problemas con importar (Software Foundations Imp) |
|
6 | 906 | April 9, 2020 |