[es] ¡Coq en español!
Anuncios Podéis usar esta categoría para realizar cualquier tipo de anuncio de interés a la communidad Coq 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. |
![]() ![]() ![]() |
7 | 956 | April 12, 2020 |
Bienvenidos a ¡Coq en español! |
![]() ![]() |
1 | 755 | February 25, 2019 |
Software Foundations/ Verified Functional Algorithms Ejercicio |
![]() |
0 | 595 | September 17, 2020 |
Curso de verano de verificación en Coq en Zaragoza |
![]() |
0 | 681 | May 14, 2020 |
Problemas con importar (Software Foundations Imp) |
![]() ![]() ![]() |
6 | 815 | April 9, 2020 |